Re: Alternatief voor bash_history ?

2018-03-19 Berichten over hetzelfde onderwerp Arno Schuring
Hi, Paul van der Vlis (p...@vandervlis.nl on 2018-03-19 11:57 +0100): > > 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 >

Re: Alternatief voor bash_history ?

2018-03-19 Berichten over hetzelfde onderwerp Geert Stappers
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

Re: Alternatief voor bash_history ?

2018-03-19 Berichten over hetzelfde onderwerp Geert Stappers
On Mon, Mar 19, 2018 at 11:57:03AM +0100, Paul van der Vlis wrote: > Hoi, > > 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

Alternatief voor bash_history ?

2018-03-19 Berichten over hetzelfde onderwerp Paul van der Vlis
Hoi, 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