diff options
| author | William Carroll <wpcarro@gmail.com> | 2019-10-09T11·13+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2019-12-24T15·21+0000 |
| commit | 6b456c1b7a4f6899f063a6e65355af51901d9c7a (patch) | |
| tree | cfc70d74818ae9fabdbbfb0cf16cce092e4c1a09 /configs/shared/misc/.ssh/config | |
| parent | a7c72adb2ebec1e497fc040eaf3551d564d61a5b (diff) | |
Massive configuration overhaul
Currently paying the price of months of non-diligent git usage. Here's what has changed. - Theming support in Gvcci and wpgtk - Dropping support for i3 - Supporting EXWM - Many Elisp modules - Collapsed redundant directories in ./configs
Diffstat (limited to 'configs/shared/misc/.ssh/config')
| -rw-r--r-- | configs/shared/misc/.ssh/config | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/configs/shared/misc/.ssh/config b/configs/shared/misc/.ssh/config deleted file mode 100644 index d99315e39dc1..000000000000 --- a/configs/shared/misc/.ssh/config +++ /dev/null @@ -1,8 +0,0 @@ -Host desktop - Hostname wpcarro.lon.corp.google.com - -Host cloudtop - Hostname wpcarro.c.googlers.com - -Match host *.corp.google.com - ProxyCommand corp-ssh-helper %h %p |