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 /.envrc | |
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 '.envrc')
-rw-r--r-- | .envrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.envrc b/.envrc index f097cc4eb456..bf9f120d9158 100644 --- a/.envrc +++ b/.envrc @@ -1,2 +1,5 @@ export DOTFILES=~/dotfiles +export DESKTOP=zeno.lon.corp.google.com +export LAPTOP=seneca +export CLOUDTOP=wpcarro.c.googlers.com NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/universe |