Eu preciso de uma linha de comando para abrir um terminal gnome em uma posição especificada da minha tela e com o tamanho da fonte especificado.
Eu já posso abri-lo na posição especificada usando --geometry option; mas então eu preciso pressionar manualmente ctrl + - quatro vezes para obter a aparência necessária.
Lembrando que não quero que esse tamanho de fonte seja uma opção padrão para todos os meus terminais, existe uma maneira de abri-lo com uma fonte (muito) pequena na linha de comando?
Abra gnome-terminal e escolha File/New profile . Você verá os padrões atuais.
Digite um novo nome de perfil, digamos SmallFont. Modifique as configurações (incluindo o tamanho da fonte) conforme desejado e salve.
Abra uma nova janela com File/Open Terminal/SmallFont para verificar se as coisas estão corretas.
Feche esta janela.
Digite gnome-terminal --window-with-profile=SmallFont . Agora, isso deve ter o tamanho de fonte adequado.
Para emular o comportamento ctrl + - , você pode passar o argumento zoom . Por exemplo:
gnome-terminal --zoom=0.8