Nie jesteś zalogowany.
Jeśli nie posiadasz konta, zarejestruj je już teraz! Pozwoli Ci ono w pełni korzystać z naszego serwisu. Spamerom dziękujemy!
Ogłoszenie
Prosimy o pomoc dla małej Julki — przekaż 1% podatku na Fundacji Dzieciom zdazyć z Pomocą.
Więcej informacji na dug.net.pl/pomagamy/.
#1 2018-12-05 14:33:40
morfik - 
Cenzor wirtualnego świata
Duplikaty w historii poleceń ZSH
Czy orientuje się może ktoś jak sprawić, by te same polecenia nie trafiały do pliku historii shell'a ZSH? Technicznie rzecz biorąc, obecnie mam taką konfigurację, że jeśli to samo polecenie zostanie wpisane parę razy pod rząd, to tylko jedno z nich jest rejestrowane. Jeśli zacznę wpisywać dwa rózne polecenia na zmianę, to każde z nich zostanie zapisane w historii i w ten sposób plik będzie miał całą masę zduplikowanych poleceń. Nie ma jakiejś opcji by te same polecenia (znak w znak) były zapisywane w historii tylko raz?
Offline
#2 2018-12-05 16:09:11
Jacekalex - Podobno człowiek...;)
- Jacekalex
- Podobno człowiek...;)
- Skąd: /dev/random
- Zarejestrowany: 2008-01-07
Re: Duplikaty w historii poleceń ZSH
Rzuć okiem tutaj:
https://github.com/mattjj/my-oh-my-zsh/blob/master/history.zsh
Pozdro
Ostatnio edytowany przez Jacekalex (2018-12-05 16:30:04)
W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem para bellum ;) | Pozdrawiam :)
Offline
#3 2018-12-05 16:49:39
morfik - Cenzor wirtualnego świata
Re: Duplikaty w historii poleceń ZSH
No właśnie coś mi to nie działa. Bo niby mam:
Kod:
setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.
Ale nie usuwa tych wcześniejszych.
Ostatnio edytowany przez morfik (2018-12-05 16:49:54)
Offline
#4 2018-12-05 16:52:59
Jacekalex - Podobno człowiek...;)
- Jacekalex
- Podobno człowiek...;)
- Skąd: /dev/random
- Zarejestrowany: 2008-01-07
Re: Duplikaty w historii poleceń ZSH
Zmienne zazwyczaj nie generują skutków wcześniejszych, przed ich zdefiniowaniem.
Spróbuj:
Kod:
setopt HIST_SAVE_NO_DUPS
W demokracji każdy naród ma taką władzę, na jaką zasługuje ;)
Si vis pacem para bellum ;) | Pozdrawiam :)
Offline
#5 2018-12-05 17:24:33
morfik - Cenzor wirtualnego świata
#6 2018-12-06 22:15:20
thalcave - prawie jak admin
- thalcave
- prawie jak admin
- Skąd: odległa galaktyka
- Zarejestrowany: 2007-05-17
Re: Duplikaty w historii poleceń ZSH
setopt append_history # append history
setopt hist_ignore_all_dups # ignore duplicates in history
setopt hist_ignore_space # do not save commands with leading space
setopt hist_no_functions # do not save functions in history
setopt hist_no_store # do not save history command in history
To są wszystkie moje ustawienia historii i duplikatów nie posiadam.
linux register user: 484281
"It's great to be here. It's great to be anywhere"
Keith Richards
Offline
#7 2018-12-07 01:13:05
morfik - Cenzor wirtualnego świata
Re: Duplikaty w historii poleceń ZSH
Chyba już wiem o co chodzi.
Generalnie to winny jest najwyraźniej timestamp w pliku historii — za niego odpowiada extended_history . Do tego dochodzi share_history , który zapisuje każde wykonane polecenie od razu do pliku bez czekania na zamknięcie terminala, ale on wymusza extended_history. Z kolei bez share_history wydawane polecenia w jednym okienku nie są widoczne w historii w drugim okienku, co trochę ssie. xD Jeśli się nie używa share_history to trzeba jechać na append_history
Jak plik historii nie ma timestampu, to duplikaty są usuwane jak tylko się wprowadzi jakieś polecenie, które było w historii i wyjdzie się z terminala. Niemniej jednak, jak ma się dwa różne terminale odpalone i w obu sesjach wyda się takie samo polecenie, to wtedy trafią do historii duplikaty ale wciąż mogą zostać one usunięte, gdy przy pojedynczej sesji się wyda zduplikowane polecenie.
Póki co plik historii skurczył się z 1M do 500K. Więc jakoś będę musiał przywyknąć do tej nowej konfiguracji. xD
Offline