Вы распознаете эту аудио панель?

Один способ использовать 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 расширение.

0
13.04.2017, 15:36
1 ответ

Это похоже на PulseAudio (т.е. не ALSA) регулятор громкости, поставленный по умолчанию с Ubuntu.

0
28.01.2020, 05:02

Теги

Похожие вопросы