diff options
| author | William Carroll <wpcarro@gmail.com> | 2019-03-07T16·44+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2019-03-07T16·44+0000 |
| commit | dc3c37c78e72016bb997cae2f65faa701183b5db (patch) | |
| tree | f71ede0675cb7b75fa69dfd0ee369deba9827aa9 /configs/shared/misc | |
| parent | f293091c063e278285ba931a69b90d215413d2e6 (diff) | |
Support cloudtop
Supports ZSH themes based on which device I'm working. This might get annoying after awhile, but I think the idea of having the prompt reflect when I'm on a different machine than my own might be useful. Adds "cloudtop" alias in ssh config.
Diffstat (limited to 'configs/shared/misc')
| -rw-r--r-- | configs/shared/misc/.ssh/config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configs/shared/misc/.ssh/config b/configs/shared/misc/.ssh/config index 7d3075cbd502..3858ccd5c107 100644 --- a/configs/shared/misc/.ssh/config +++ b/configs/shared/misc/.ssh/config @@ -1,5 +1,8 @@ Host box Hostname wpcarro.lon.corp.google.com +Host cloudtop + Hostname wpcarro.c.googlers.com + Match host *.corp.google.com ProxyCommand corp-ssh-helper %h %p |