Some commands that proved useful in the input terminal.