093b566e71
I recently changed my hostname for my desktop and laptop from wpcarro.lon.corp.google.com -> zeno.lon.corp.google.com wpcarro2 -> seneca If you're curious, the names Zeno and Seneca come from famous Stoic philosophers. As you can see from this commit, my configuration depends on the values of these hostnames. Immediately impacted: - .profile - device.el Not immediately impacted: - configs/install - configs/uninstall - .ssh/config - .zshrc* * As a side note, I should stop supporting ZSH. Using an .envrc file helps me DRY up some of my configuration. Ideally I should only need to make changes to the .envrc file and then expect everything to work as expected. Let's see how that goes.
21 lines
395 B
Text
21 lines
395 B
Text
# Google work station
|
|
Host desktop
|
|
Hostname zeno.lon.corp.google.com
|
|
|
|
# Google cloud instance
|
|
Host cloudtop
|
|
Hostname wpcarro.c.googlers.com
|
|
|
|
Host gcp
|
|
User wpcarro
|
|
Hostname 35.246.93.73
|
|
|
|
# Raspberry Pi home computer
|
|
# router_public_ip: 150.143.40.77
|
|
# private_ip: 192.168.1.67
|
|
Host rpi
|
|
User pi
|
|
Hostname 150.143.40.77
|
|
|
|
Match host *.corp.google.com
|
|
ProxyCommand corp-ssh-helper %h %p
|