GNU/Linux >> Belajar Linux >  >> Linux

Bagaimana cara mengubah direktori startup gnome-terminal?

Baca FAQ terminal gnome resmi
Lihat juga laporan bug ini.


Jika Anda menggunakan Debian dan tidak ingin menunggu pengelola yang berbeda untuk akhirnya memutuskan di mana "posisi terbaik untuk skrip", Anda dapat melakukan hal berikut:

Edit ~/.bashrc , telusuri baris berikut (mungkin terlihat sedikit berbeda):

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

dan tambahkan ke cabang lain:

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

Menghasilkan:

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. Cara Mengubah Direktori 'DocumentRoot' Apache Default di Linux

  2. Cara Mengganti Shell di Linux

  3. Bagaimana cara mengubah direktori awal sesi tmux?

  1. Bagaimana Kami Mengubah Kata Sandi Root?

  2. Bagaimana cara mengubah direktori root dari server Apache?

  3. Bagaimana mengubah semua kemunculan kata di semua file dalam direktori

  1. Cara Membuat Pengguna Dengan Direktori Home Kustom Di Linux

  2. Bagaimana cara seseorang mengubah symlink ke direktori di busybox?

  3. Bagaimana cara mengubah urutan startup/boot layanan Linux?