Textwrangler:如何将 \d+ 替换为 {\d+}?
Textwrangler: How can I Replace \d+ with {\d+}?
我需要查找文本 [n] 并将其替换为文本 \textsuperscript{n}.
其中 n 是 1-99 之间的数字。
EG。带有文本 \textsuperscript{15}
的文本 [15]
我不是程序员,但我认为 grep 是我的朋友。
我试过:
查找:\[\d+\]
替换:\textsuperscript{\d+}
这找到了数字,但将它们替换为 \textsuperscript{\d+} (可以预见)。
请问我哪里错了?
感谢您的帮助。
在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。
查找:\[(\d+)\]
替换:\textsuperscript\{}
这里是link到Solution
感谢您的帮助。在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。
查找:\[(\d+)\]
替换:\textsuperscript\{}
这里是link到Solution
我需要查找文本 [n] 并将其替换为文本 \textsuperscript{n}.
其中 n 是 1-99 之间的数字。
EG。带有文本 \textsuperscript{15}
的文本 [15]我不是程序员,但我认为 grep 是我的朋友。
我试过:
查找:\[\d+\]
替换:\textsuperscript{\d+}
这找到了数字,但将它们替换为 \textsuperscript{\d+} (可以预见)。
请问我哪里错了?
感谢您的帮助。 在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。
查找:\[(\d+)\]
替换:\textsuperscript\{}
这里是link到Solution
感谢您的帮助。在 Google Groups for Textwrangler 上找到了解决方案。显然我需要一个子模式。
查找:\[(\d+)\]
替换:\textsuperscript\{}
这里是link到Solution