diff options
Diffstat (limited to 'bash')
| -rw-r--r-- | bash/.bashrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bash/.bashrc b/bash/.bashrc index 3d78e94..fffef41 100644 --- a/bash/.bashrc +++ b/bash/.bashrc @@ -19,6 +19,7 @@ alias psa2="ssh -i ~/.ssh/psa -p 60502 ge87liq@psa.in.tum.de" alias psa3="ssh -i ~/.ssh/psa -p 60503 ge87liq@psa.in.tum.de" alias psa4="ssh -i ~/.ssh/psa -p 60504 ge87liq@psa.in.tum.de" alias psa5="ssh -i ~/.ssh/psa -p 60505 ge87liq@psa.in.tum.de" +alias psa6="ssh -i ~/.ssh/psa -p 60506 ge87liq@psa.in.tum.de" alias psa7="ssh -i ~/.ssh/psa -p 60507 ge87liq@psa.in.tum.de" # Arrow bindings |