GNU/Linux >> Tutoriels Linux >  >> Linux

Comment changer le répertoire de démarrage de gnome-terminals ?

Lisez la FAQ officielle de gnome-terminal
Voir aussi ce rapport de bogue.


Si vous utilisez Debian et que vous ne voulez pas attendre que les différents responsables décident finalement où se trouve "la meilleure position pour le script", vous pouvez faire ce qui suit :

Modifier ~/.bashrc , recherchez les lignes suivantes (elles peuvent sembler légèrement différentes) :

if [ "$color_prompt" = yes ]; then
  PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\[email protected]\h\[\033[00m\]:\[\033[01;m\]\w\[\033[00m\]\$ '
else
  PS1='${debian_chroot:+($debian_chroot)}\[email protected]\h:\w\$ '
fi

et ajouter à la branche else :

  # XXX hack to fix ctrl + shift + N
  . /etc/profile.d/vte.sh

Résultant en :

if [ "$color_prompt" = yes ]; then
  PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\[email protected]\h\[\033[00m\]:\[\033[01;m\]\w\[\033[00m\]\$ '
else
  PS1='${debian_chroot:+($debian_chroot)}\[email protected]\h:\w\$ '
  # XXX hack to fix ctrl + shift + N
  . /etc/profile.d/vte.sh
fi

Linux
  1. Comment changer le répertoire Apache 'DocumentRoot' par défaut sous Linux

  2. Comment changer le répertoire racine d'un serveur Apache ?

  3. Comment changer le répertoire de démarrage d'une session tmux ?

  4. Comment changer atomiquement un lien symbolique vers un répertoire dans busybox?

  5. Comment modifier l'ordre de démarrage/démarrage des services Linux ?

Comment changer d'utilisateur sous Linux

Comment changer l'adresse IP sous Linux

Comment copier un répertoire sous Linux

Comment changer le répertoire racine du document dans Plesk ?

Comment modifier les autorisations de fichiers ou de répertoires dans cPanel ?

Comment changer le répertoire des addons