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.desktopem~/.local/share/applications, ou seja, cria uma versão específica do usuário do arquivo de área de trabalhognome-terminaldo sistema; -
sed -i 's/^Exec=gnome-terminal$/& --geometry=80x24+100+100/' ~/.local/share/applications/gnome-terminal.desktop: altera a linhaExec=gnome-terminalna versão específica do usuário do arquivo de área de trabalhognome-terminaldo 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+100ao invés degnome-terminalao pressionar CTRL + ALT + T
Para reverter:
rm ~/.local/share/applications/gnome-terminal.desktop
gsettings set org.gnome.desktop.default-applications.terminal exec 'gnome-terminal'