Bash-Notes: grep/ssh/... enhanced