#135: record last execution in 'log_bash' and execute only once