Откройте терминал с опцией размер шрифта через командную строку
, если вы просто хотите проверить, есть ли какой-либо процесс, перейдите в этот каталог и введите ll -tr, если вы видите .csv или .work и т. д. в конце файла, а это значит, что в процессе иначе нет.
5
задан muru
10 April 2017 в 12:04
поделиться
8 ответов
Откройте gnome-terminal и выберите File/New profile. Вы увидите текущие значения по умолчанию. Введите новое имя профиля, скажем SmallFont. Измените настройки (включая размер шрифта) по желанию и сохраните. Откройте новое окно с File/Open Terminal/SmallFont, чтобы проверить, все ли в порядке. Закройте это окно. Введите gnome-terminal --window-with-profile=SmallFont. Это должно теперь иметь правильный размер шрифта.
8
ответ дан Jos
22 May 2018 в 23:48
поделиться
-
1Верный! Он также работает с параметром --geometry. Обратите внимание, что в меню Edit- & gt; Preferences вы можете редактировать и удалять все сохраненные профили. – Jack 10 April 2017 в 12:21
Откройте gnome-terminal и выберите File/New profile. Вы увидите текущие значения по умолчанию. Введите новое имя профиля, скажем SmallFont. Измените настройки (включая размер шрифта) по желанию и сохраните. Откройте новое окно с File/Open Terminal/SmallFont, чтобы проверить, все ли в порядке. Закройте это окно. Введите gnome-terminal --window-with-profile=SmallFont. Это должно теперь иметь правильный размер шрифта.
8
ответ дан Jos
18 July 2018 в 15:15
поделиться
Откройте gnome-terminal и выберите File/New profile. Вы увидите текущие значения по умолчанию. Введите новое имя профиля, скажем SmallFont. Измените настройки (включая размер шрифта) по желанию и сохраните. Откройте новое окно с File/Open Terminal/SmallFont, чтобы проверить, все ли в порядке. Закройте это окно. Введите gnome-terminal --window-with-profile=SmallFont. Это должно теперь иметь правильный размер шрифта.
8
ответ дан Jos
24 July 2018 в 20:35
поделиться
Откройте gnome-terminal и выберите File/New profile. Вы увидите текущие значения по умолчанию. Введите новое имя профиля, скажем SmallFont. Измените настройки (включая размер шрифта) по желанию и сохраните. Откройте новое окно с File/Open Terminal/SmallFont, чтобы проверить, все ли в порядке. Закройте это окно. Введите gnome-terminal --window-with-profile=SmallFont. Это должно теперь иметь правильный размер шрифта.
8
ответ дан Jos
31 July 2018 в 23:37
поделиться
Чтобы эмулировать поведение ctrl + -, вы можете передать аргумент zoom. Например:
gnome-terminal --zoom=0.8
1
ответ дан Jack
22 May 2018 в 23:48
поделиться
Чтобы эмулировать поведение ctrl + -, вы можете передать аргумент zoom. Например:
gnome-terminal --zoom=0.8
1
ответ дан Jack
18 July 2018 в 15:15
поделиться
Чтобы эмулировать поведение ctrl + -, вы можете передать аргумент zoom. Например:
gnome-terminal --zoom=0.8
1
ответ дан Jack
24 July 2018 в 20:35
поделиться
Чтобы эмулировать поведение ctrl + -, вы можете передать аргумент zoom. Например:
gnome-terminal --zoom=0.8
1
ответ дан Jack
31 July 2018 в 23:37
поделиться