O que substitui “~ / .gnome2 / terminal.ini”?

Question

Há muito tempo, eu usava o comando save do terminal do Gnome para salvar minhas alterações no arquivo "terminal.ini" . Depois de um tempo, isso foi quebrado e isso iria bagunçar minhas configurações, então eu comecei usando vim para editar o arquivo diretamente.

No entanto, parece que esse arquivo é ignorado em 16.04. Provavelmente foi copiado em outro lugar e no novo arquivo usado.

Alguma ideia de onde está o novo arquivo e o nome dele?

A partir do comentário, eu pensei que talvez eu tivesse alguma informação sobre isso em uma das minhas páginas Linux e, de fato, aqui está:

link

Vejo que tivemos um gnome-session-save antes, mas esse comando desapareceu agora. A maneira como faço referência aos arquivos terminal.ini é por meio de um arquivo da área de trabalho com a seguinte aparência:

[Desktop Entry]
Type=Application
Exec=/usr/bin/gnome-terminal --load-config=/home/alexis/.gnome2/terminal.ini
Hidden=false
NoDisplay=false
X-GNOME-Autostart-enabled=true
Name[en_US]=Gnome Terminal
Name=Gnome Terminal
Comment[en_US]=Load terminal using ~/.gnome2/terminal.ini
Comment=Load your Gnome terminal from ~/.gnome2/terminal.ini file

Eu tenho este arquivo da área de trabalho no meu diretório de início automático:

/home/<user-name>/.config/autostart/gnome-terminal.desktop

Então, eu acho que o nome não mudou, mas mudei um caminho e de alguma forma ele ainda abre com o caminho antigo ...

Ok, eu encontrei! Desculpe pelo barulho ... Agora eu tenho um arquivo terminals.desktop que executa um novo script:

[Desktop Entry]
Type=Application
Exec=/home/alexis/bin/terminals
Hidden=false
NoDisplay=false
X-GNOME-Autostart-enabled=true
Name[en_US]=Terminals
Name=Terminals
Comment[en_US]=Gnome Terminals
Comment=Gnome Terminals

E esse script é o seguinte:

gnome-terminal \
    --geometry=147x24--10-14 \
    --tab --working-directory "/home/<user>/<path1>" \
    --tab --working-directory "/home/<user>/<path2>" \
    --tab --working-directory "/home/<user>/<path3>" \
    --tab --working-directory "/home/<user>/<path4>" \
    --tab --working-directory "/home/<user>/<path5>" \
    --tab --working-directory "/home/<user>/<path6>"

Então, de fato, o antigo terminal.ini é ignorado e o problema certamente começou a acontecer em 14.04 e não em 16.04.