Re: Bash-History mit Zeit und PID