【问题标题】:Textwrangler: How can I Replace \d+ with {\d+}?Textwrangler:如何将 \d+ 替换为 {\d+}?
【发布时间】:2017-10-23 08:07:03
【问题描述】:

我需要找到文本 [n] 并将其替换为文本 \textsuperscript{n}。

其中 n 是 1-99 之间的数字。

EG。文本 [15] 与文本 \textsuperscript{15}

我不是程序员,但我认为 grep 是我的朋友。

我尝试过: 查找:\[\d+\] 替换:\\textsuperscript{\d+} 这会找到数字,但用 \textsuperscript{\d+} 替换它们(可以预见)。

请问我哪里出错了?

感谢您的帮助。 在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。

查找:\[(\d+)\]

替换:\\textsuperscript\{\1}

这是Solution的链接

【问题讨论】:

  • 我不知道 textwrangler,但是像 find: \[(\d+)\]replace: textsuperscript{$1} 这样的东西应该可以工作。或\1 而不是$1
  • 谢谢,但遗憾的是它没有用。只是忠实地替换没有数字,尝试了很多不同的建议组合。
  • 奇怪。根据文档,它接受正则表达式的 PCRE 语法。你检查Use Grep了吗?
  • 我确实使用 grep 进行搜索。解决了这个问题后,我想知道如何将这个问题报告为已解决?
  • 回答以下问题并将其标记为已接受。

标签: replace find textwrangler


【解决方案1】:

感谢您的帮助。在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。

查找:\[(\d+)\]

替换:\\textsuperscript\{\1}

这是Solution的链接

【讨论】:

    猜你喜欢
    • 1970-01-01
    • 2021-05-16
    • 2017-09-24
    • 2014-09-01
    • 2011-08-21
    • 2017-06-25
    • 1970-01-01
    • 2011-10-24
    • 1970-01-01
    相关资源
    最近更新 更多