bash: add rgrep alias
ssh: add more hosts to config