Como faço isso? Eu tentei definir isso em um script e no "comando" para ser executado na inicialização nas preferências de perfil do gnome-terminal.
Além disso, há um conjunto completo de arquivos .bashrc. * rc no novo local $ HOME que eu não quero que o bash use como na inicialização do terminal ... talvez isso faça parte do problema. Pode não haver maneira de fazer isso?
Tags gnome-terminal bash