diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·16+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-06T10·15+0000 |
| commit | 813c7f94de22cb3c4937e6b396d7c71d54525b86 (patch) | |
| tree | 3f002f19ec0424e8f1eee503dc4f6fa98e4792d0 /configs/install | |
| parent | f2d9af274569734c08edee2fbd4895e8704429c3 (diff) | |
Drop support for desktop and laptop
As I pruned increasingly more dependencies, the few dependencies that desktop and laptop hosted were too trivial for me to justify supporting. And so, I no longer support them.
Diffstat (limited to 'configs/install')
| -rwxr-xr-x | configs/install | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/configs/install b/configs/install index d4d760e73f8d..d6eb7752180e 100755 --- a/configs/install +++ b/configs/install @@ -2,11 +2,4 @@ configs="$BRIEFCASE/configs" -case $(hostname) in - $DESKTOP) - (cd "$configs/desktop" && stow --target="$HOME" .);; - $LAPTOP) - (cd "$configs/work_laptop" && stow --target="$HOME" .);; -esac - (cd "$configs/shared" && stow --target="$HOME" .) |