Re: Alternatief voor bash_history ?
On Mon, Mar 19, 2018 at 02:00:22PM +0100, Paul van der Vlis wrote:
> Op 19-03-18 om 12:33 schreef Geert Stappers:
> > On Mon, Mar 19, 2018 at 11:57:03AM +0100, Paul van der Vlis wrote:
> >>
> >> Vanochtend was een systeem volgelopen waarop ik gisteren had gewerkt.
> >> Er bleek een enorm bestand in /var/tmp/.guestfs te staan.
> >>
> >> Het zou behulpzaam zijn, als ik had kunnen nagaan wat ik om 21:15 voor
> >> commando had gegeven. Om het voor een volgende keer te voorkomen.
> >>
> >> bash_history is een goede zaak, maar eigenlijk zou ik het loggen van
> >> commando's graag wat beter geregeld hebben.
> >> Zoals een timestamp voor elk commando.
> >
> > Er is HISTTIMEFORMAT
> > zie https://askubuntu.com/questions/391082/how-to-see-time-stamps-in-bash-history#391087
> > voor voorbeeld een toelichting.
>
> Dit is inderdaad wel leuk, het werkt zelfs een beetje "met terugwerkende
> kracht".
>
> Ik heb echter niet kunnen vinden wat ik gisteren fout heb gedaan,
> wellicht had ik nog een andere terminal open.
>
> Ik zal "man history" eens goed gaan lezen, ik kende dit hele commando
> niet. Ik kijk normaal in ~/.bash_history, of gebruikte het uitroepteken.
>
> >> En dat het direct wordt weggeschreven, ook vanuit meerdere
> >> terminals tegelijk.
> >
> > Heb ik zo niet paraat.
>
> Het is best vaak zo dat de history niet goed bewaard wordt, maar ik vond
> hier nog een interessant artikel, wat als ik het goed begrijp precies
> doet wat ik wil:
> https://linuxcommando.blogspot.com:80/2007/11/keeping-command-history-across-multiple.html
>
Die URL correct
https://linuxcommando.blogspot.com/2007/11/keeping-command-history-across-multiple.html
Waarbij 'correct' zo veel betekent
als "zonder die :80 werkt het wel voor mij"
> >> Kent iemand een alternatief voor bash-history?
> >
> > Dan wel aanvulling/aanpassing als ik het goed begrijp.
>
> Uiteraard.
>
Groeten
Geert Stappers
--
Leven en laten leven
Reply to: