diff options
author | William Carroll <wpcarro@gmail.com> | 2020-03-05T14·29+0000 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·04+0000 |
commit | c6dac53b72da08bf5786755c4f59f7c829e76a1e (patch) | |
tree | c7e3ffaceaa9dd1444076350e27db14e2b8344d7 /shell.nix | |
parent | 77633d22ae10ef3e5435930dce119b8fb76ac83f (diff) |
Drop support for cloudtop
While I do still technically own a Google cloudtop device, I haven't used it in at least six months. In the interest of pruning non-critical dependencies, I'm deleting it. I can alway restore it thanks to Git.
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix index f3978bd69e1b..674ae1da08b7 100644 --- a/shell.nix +++ b/shell.nix @@ -10,5 +10,4 @@ pkgs.mkShell rec { NIX_PATH="nixpkgs=${NIXPKGS}:depot=${DEPOT}:briefcase=${BRIEFCASE}"; DESKTOP = "zeno.lon.corp.google.com"; LAPTOP = "seneca"; - CLOUDTOP = "wpcarro.c.googlers.com"; } |