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
