record commands in ssh