A shell commands recorder