Jeditで文章の行頭と行末、空白行を削除するスクリプト。
いろいろ試行錯誤して書いてみました。
単独のバックスラッシュだと、構文のエラーになるのでダブルで入れた気がします。
- ——————空白行削除に成功したスクリプト
- tell application “Jedit X“
- tell front document
- replaceAll string “^[ \\t]*[\\r\\n]+“ to ““ with select all, case sensitive, grep and entire word
- end tell
- end tell
- ——————
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー