GNU/Linux >> Tutoriales Linux >  >> Linux

¿Cómo cambiar el directorio de inicio de gnome-terminales?

Lea las preguntas frecuentes oficiales de gnome-terminal
Consulte también este informe de error.


Si usa Debian y no quiere esperar a que los diferentes mantenedores finalmente decidan cuál es "la mejor posición para el script", puede hacer lo siguiente:

Editar ~/.bashrc , busque las siguientes líneas (pueden verse ligeramente diferentes):

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

y agregar a la otra rama:

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

Resultando 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. Cómo cambiar el directorio predeterminado de Apache 'DocumentRoot' en Linux

  2. Cómo crear un usuario con un directorio de inicio personalizado en Linux

  3. ¿Cómo cambiamos la contraseña raíz?

  4. Cómo cambiar todas las apariciones de una palabra en todos los archivos de un directorio

  5. ¿Cómo cambiar el orden de inicio/arranque de los servicios de Linux?

Cómo cambiar de usuario en Linux

Cómo cambiar la dirección IP en Linux

Cómo copiar un directorio en Linux

¿Cómo cambiar el directorio raíz del documento en Plesk?

¿Cómo cambiar archivos o permisos de directorio en cPanel?

Cómo cambiar el directorio de complementos