bashrc: move GREP_OPTIONS to aliases.sh
ssh: hosts