Op 07-06-19 om 11:09 schreef Mart: > > Het gaat hier niet om /etc/fstab en waarschijnlijk staat deze shell ook niet in > /etc/passwd. Ik bedoelde /etc/passwd. Sorry. > Het gaat waarschijnlijk puur om de instellingen van de gnome > terminal emulator. Die zijn waarschijnlijk te wijzigen met dconf-editor. Groet, Paul -- Paul van der Vlis Linux systeembeheer Groningen https://www.vandervlis.nl/