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 /configs/install | |
| 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 'configs/install')
| -rwxr-xr-x | configs/install | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configs/install b/configs/install index 62236a0dc5a3..d4d760e73f8d 100755 --- a/configs/install +++ b/configs/install @@ -7,8 +7,6 @@ case $(hostname) in (cd "$configs/desktop" && stow --target="$HOME" .);; $LAPTOP) (cd "$configs/work_laptop" && stow --target="$HOME" .);; - $CLOUDTOP) - (cd "$configs/cloudtop" && stow --target="$HOME" .);; esac (cd "$configs/shared" && stow --target="$HOME" .) |