Support env vars for {DESK,LAP,CLOUD}TOP devices

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.

4 files changed, 12 insertions, 26 deletions

diff --git a/configs/shared/.emacs.d/wpc/device.el b/configs/shared/.emacs.d/wpc/device.el
index 4d79214c378a..03eb55beb7f4 100644
--- a/configs/shared/.emacs.d/wpc/device.el
+++ b/configs/shared/.emacs.d/wpc/device.el
@@ -14,8 +14,8 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defconst device/hostname->device
-  '(("wpcarro2" . work-laptop)
-    ("wpcarro.lon.corp.google.com" . work-desktop))
+  '(("zeno.lon.corp.google.com" . work-desktop)
+    ("seneca" . work-laptop))
   "Mapping hostname to a device symbol.")
 
 ;; TODO: Should I generate these predicates?
diff --git a/configs/shared/.profile b/configs/shared/.profile
index c53a0164d438..6513c2c9b5c0 100644
--- a/configs/shared/.profile
+++ b/configs/shared/.profile
@@ -51,16 +51,10 @@ export XSECURELOCK_NO_COMPOSITE=1
 LOCALE_ARCHIVE=$(readlink ~/.nix-profile/lib/locale)/locale-archive
 export LOCALE_ARCHIVE
 
-# Set environment variables for Nix
-# Don't run this for systems running NixOS
+# Set environment variables for Nix. Don't run this for systems running NixOS.
+# TODO: Learn why I can't use the variables from ~/dotfiles/.envrc.
 case $(hostname) in
-  # desktop
-  wpcarro.lon.corp.google.com)
-    . ~/.nix-profile/etc/profile.d/nix.sh;;
-  # cloudtop
-  wpcarro.c.googlers.com)
-    . ~/.nix-profile/etc/profile.d/nix.sh;;
-  # work_laptop
-  wpcarro2)
-    . ~/.nix-profile/etc/profile.d/nix.sh;;
+  zeno.lon.corp.google.com) . ~/.nix-profile/etc/profile.d/nix.sh;;
+  seneca) . ~/.nix-profile/etc/profile.d/nix.sh;;
+  wpcarro.c.googlers.com) . ~/.nix-profile/etc/profile.d/nix.sh;;
 esac
diff --git a/configs/shared/.ssh/config b/configs/shared/.ssh/config
index 2283a7b0cc60..7519c00c0f65 100644
--- a/configs/shared/.ssh/config
+++ b/configs/shared/.ssh/config
@@ -1,6 +1,6 @@
 # Google work station
 Host desktop
-  Hostname wpcarro.lon.corp.google.com
+  Hostname zeno.lon.corp.google.com
 
 # Google cloud instance
 Host cloudtop
diff --git a/configs/shared/.zshrc b/configs/shared/.zshrc
index 7f846ce54de4..a8ea2657d723 100644
--- a/configs/shared/.zshrc
+++ b/configs/shared/.zshrc
@@ -34,18 +34,10 @@ antigen bundle zsh-users/zsh-syntax-highlighting
 
 # Theming
 case $(hostname) in
-  # desktop
-  wpcarro.lon.corp.google.com)
-    antigen theme frisk;;
-  # cloudtop
-  wpcarro.c.googlers.com)
-    antigen theme cloud;;
-  # laptop
-  wpcarro2)
-    antigen theme refined;;
-  # acer NixOS laptop
-  acer-manjaro)
-    antigen theme frisk;;
+  $DESKTOP)     antigen theme frisk;;
+  $LAPTOP)      antigen theme refined;;
+  $CLOUDTOP)    antigen theme cloud;;
+  acer-manjaro) antigen theme frisk;;
 esac
 
 # Leave this last