rest-commands.js: edit ~/.bash_history to remove a line from history