Anda mungkin sudah INC_APPEND_HISTORY
siap.
The INC_APPEND_HISTORY
pilihan, dari man zshoptions
:
Opsi ini berfungsi seperti APPEND_HISTORY kecuali bahwa baris riwayat baru ditambahkan ke $ HISTFILE secara bertahap (segera setelah dimasukkan), daripada menunggu hingga shell keluar.
Opsi yang Anda inginkan adalah APPEND_HISTORY
:
APPEND_HISTORY Jika ini diatur, sesi zsh akan menambahkan daftar histori mereka ke file histori, alih-alih menggantinya. Dengan demikian, beberapa sesi zsh paralel semua akan memiliki entri baru dari daftar riwayatnya ditambahkan ke file riwayat, dalam urutan keluarnya. File akan tetap ditulis ulang secara berkala untuk memangkasnya ketika jumlah baris tumbuh 20% di luar nilai yang ditentukan oleh $ SAVEHIST (lihat juga opsi HEMAT HEMAT DENGAN SALINAN).
Anda dapat membaca tentang opsi ini di man zshoptions
, man zshall
atau online di sini .
Untuk mengaturnya, dalam ~/.zshrc
atau serupa Anda, Anda harus memiliki:
setopt APPEND_HISTORY
Ketahuilah bahwa, jika Anda menggunakan oh-my-zsh secara default, saya yakin, INC_APPEND_HISTORY
digunakan. Saya tidak 100% yakin di mana hal-hal dimuat, tetapi jika oh-my-zsh
opsi menimpa yang Anda tetapkan ~/.zshrc
, Anda dapat bermain-main di~/.oh-my-zsh/lib/history.zsh