bash: bashrc ssh agent tricks