Si j'ai changé de répertoire dans gnome-terminal en quittant $HOME
, c’est-à-dire $HOME/foo
, puis créer un nouvel onglet ou une fenêtre, cet nouvel onglet ou cette fenêtre aura comme nom de travail $HOME/foo
. au lieu de $HOME
. C'est nouveau et étranger pour moi et je préfère l'ancien comportement standard de toutes les nouvelles instances de terminal dans $HOME
.
Je voudrais réaliser ceci sans modifier mon .profile
ou .bashrc
de mon utilisateur (avec une ligne cd
ou autre). Je suis sous gnome-terminal 3.18.3 sur Ubuntu 16.04.
Je l'obtiens en définissant une commande custome dans les paramètres du profil, onglet Commande.
Dans le menu supérieur: Edit
-> Profile Preference
.
Puis, dans le onglet command
, cochez la commande personnalisée Exécuter au lieu de mon shell et définissez /bin/bash
comme commande personnalisée.
Pour exécuter le shell par défaut au lieu de bash, utilisez:
/bin/sh -c '`/usr/bin/getent passwd $USER | cut -d: -f7`'
à la place, /bin/bash
comme commande personnalisée.
Je ne sais pas quelle est la cause du problème. Cependant, chaque fois que vous créez un nouvel onglet gnome-terminal, votre instance actuelle est héritée, de sorte qu'elle héritera du répertoire de travail de votre ancien onglet, mais que vous définissez une commande personnalisée pour créer une nouvelle instance à chaque fois.
C’est seulement ce que je pense qui se passe ici.