Eu não acho que exista tal arquivo: essa configuração não aparece, nem nas preferências do gnome-terminal
nem nas preferências de perfil do gnome-terminal
.
No entanto, mesmo que você não possa definir diretamente como gnome-terminal
é iniciado, sempre é possível definir como o seu sistema invoca gnome-terminal
:
cp /usr/share/applications/gnome-terminal.desktop ~/.local/share/applications
sed -i 's/^Exec=gnome-terminal$/& --geometry=80x24+100+100/' ~/.local/share/applications/gnome-terminal.desktop
gsettings set org.gnome.desktop.default-applications.terminal exec 'gnome-terminal --geometry=80x24+100+100'
-
cp /usr/share/applications/gnome-terminal.desktop ~/.local/share/applications
: copia/usr/share/applications/gnome-terminal.desktop
em~/.local/share/applications
, ou seja, cria uma versão específica do usuário do arquivo de área de trabalhognome-terminal
do sistema; -
sed -i 's/^Exec=gnome-terminal$/& --geometry=80x24+100+100/' ~/.local/share/applications/gnome-terminal.desktop
: altera a linhaExec=gnome-terminal
na versão específica do usuário do arquivo de área de trabalhognome-terminal
do sistema paraExec=gnome-terminal --geometry=80x24+100+100
; -
gsettings set org.gnome.desktop.default-applications.terminal exec 'gnome-terminal --geometry=80x24+100+100'
: altera as configurações do dconf para dizer ao ambiente desktop que executegnome-terminal --geometry=80x24+100+100
ao invés degnome-terminal
ao pressionar CTRL + ALT + T
Para reverter:
rm ~/.local/share/applications/gnome-terminal.desktop
gsettings set org.gnome.desktop.default-applications.terminal exec 'gnome-terminal'