Apakah ada cara untuk memulai ulang sepenuhnya Bash dan memuat ulang .bashrc
dan .profile
dan sejenisnya? Saya ingin memastikan perubahan saya berfungsi dengan baik setelah mengedit file-file ini.
bash
bashrc
source
bash-profile
Naftuli Kay
sumber
sumber
PATH
diatur seperti yang saya inginkan atau sayaPS1
, dll.exec
dan Anda mendapatkan shell yang sumber file yang Anda inginkan. Kemudian tepatexit
ketika Anda selesai memeriksa.$PS1
file startup bash, ya.Saya menyarankan untuk masuk di jendela / layar terpisah. Dengan cara ini Anda masih memiliki sesi kerja jika terjadi kesalahan dengan perubahan Anda pada file startup. Anda juga yakin memiliki lingkungan yang bersih.
Alasan: Saya melihat terlalu banyak orang mengunci diri mereka dari suatu sistem karena kesalahan ketik yang sederhana pada profil. (Atau semacamnya).
sumber
Jika tujuan Anda hanya untuk membaca file yang dimodifikasi lagi, Anda tidak perlu me-restart itu. Anda cukup sumbernya.
atau
Perhatikan bahwa ini tidak akan memberi Anda "keadaan bersih" dalam arti bahwa itu tidak akan membatalkan variabel set atau fungsi yang ditetapkan ...
sumber
Akan membuka shell baru untuk
yourOwnUserName
pengguna dengan semua pengaturan dimuat ulang. Ini adalah shell-independent, karena mengacu pada pengaturan sistem, bukan shell spesifik Anda. Itu juga memuat beberapa pengaturan seluruh sistem yangbash -l
tidak (seperti grup pengguna).sumber