Один способ использовать GNU sed
:
Содержание script.sed
:
/^\\documentclass[^{]*{[^}]*}/ {
a\
\\usepackage[utf8]{inputenc}\
\\usepackage[T1]{fontenc}\
\\usepackage{ngerman}
}
Выполните его как:
sed -s -i.bak -f script.sed foo*.tex
Я использую ^
соответствовать documentclass
в начале строки. Удалите его, если у Вас могут быть пробелы перед ним.
-s
переключатель рассматривает каждый вход как различный файл, и -i
создает резервные копии с bak
расширение.
Это похоже на PulseAudio (т.е. не ALSA) регулятор громкости, поставленный по умолчанию с Ubuntu.