diff options
author | William Carroll <wpcarro@gmail.com> | 2020-01-29T12·38+0000 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2020-01-29T14·21+0000 |
commit | 093b566e711c9484d4dd8c32e076a525895998ad (patch) | |
tree | ae0fbf91f104b7fc94fa91afa6edddd4fc232d9d /configs/uninstall | |
parent | d28690d8146cd6dd5377f1c1df5724caf6f89315 (diff) |
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.
Diffstat (limited to 'configs/uninstall')
-rwxr-xr-x | configs/uninstall | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/configs/uninstall b/configs/uninstall index 77d3199f69f7..526c32113f53 100755 --- a/configs/uninstall +++ b/configs/uninstall @@ -3,14 +3,11 @@ configs="$DOTFILES/configs" case $(hostname) in - # desktop - wpcarro.lon.corp.google.com) + $DESKTOP) (cd "$configs/desktop" && stow --delete --target="$HOME" .);; - # laptop - wpcarro2) + $LAPTOP) (cd "$configs/laptop" && stow --delete --target="$HOME" .);; - # cloudtop - wpcarro.c.googlers.com) + $CLOUDTOP) (cd "$configs/cloudtop" && stow --delete --target="$HOME" .);; esac |