Мое текущее решение (для достаточно последних версий Python 3 )запрещает использование по умолчанию истории ~/.python _, но оставляет возможность явной записи истории в заданный файл (использование readline.write _history _file (имя файла )или readline.append _history _file (... ))должно иметь следующее в файле PYTHONSTARTUP:
import readline
import time
readline.add_history("# " + time.asctime()) # prevent default use of ~/.python_history
readline.set_history_length(-1) # unlimited
У него есть приятный (для меня )побочный эффект, помечающий любую явно записанную историю временем запуска интерпретатора. Это работает благодаря исправлению ошибки 5845 , которую можно увидеть здесь .
Так и будет:
sed 's_/\*\(.*\)\*/_//\1_' <Test.java
Это работает следующим образом:
_
в качестве разделителя, поэтому мне не нужно экранировать /
символы /\*
(экранированию*)\(
и\)
\1
Убедившись, что он делает то, что вам нужно, просто добавьте -i
и удалите<
:
sed -i 's_/\*\(.*\)\*/_//\1_' Test.java
Я подозреваю, что ваш второй пункт должен был быть:
'/*' is matched with /\* (escaping the *) and '*/' is matched with \*/