Jawaban:
Pada prompt Bash, ketikkan perintah berikut dan lakukan langkah-langkah yang tercantum setelah masing-masing:
set -o | grep history
Jika Anda mendapatkan "riwayat", tambahkan baris ini di akhir ~/.bashrc
:
set -o history
Percobaan selanjutnya:
echo $HISTFILE
echo $HISTSIZE
echo $HISTFILESIZE
Jika yang pertama kosong atau /dev/null
, tambahkan baris ini ke akhir Anda ~/.bashrc
:
HISTFILE=$HOME/.bash_history
Jika salah satu dari dua cetak terakhir 0, atur ke beberapa nomor seperti default 500:
HISTFILESIZE=500
HISTSIZE=500
Satu hal yang dapat Anda lakukan adalah memeriksa apakah variabel lingkungan "HISTFILE" disetel. Ini harus diatur ke file yang ingin Anda tulis riwayatnya. Hal kedua yang perlu diperiksa, jika file diatur, bahwa pengguna Anda memiliki izin untuk menulis file itu. Itu adalah dua hal pertama yang muncul di pikiran saya.