diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T17·26+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-06T10·15+0000 |
| commit | fe61dee51170a4aa7cdd984e03e56d4dc45afbb9 (patch) | |
| tree | 7ee427504bee31df4a6e62f763fd43f749e1eea9 /configs/uninstall | |
| parent | 137bd6dc0c8ef65d89c0daada860a2dd25460983 (diff) | |
Splice configs/shared directory
- Move all children from configs/shared into configs. - Delete "shared" directory.
Diffstat (limited to 'configs/uninstall')
| -rwxr-xr-x | configs/uninstall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/uninstall b/configs/uninstall index 30ccc76d23..e082d75cee 100755 --- a/configs/uninstall +++ b/configs/uninstall @@ -2,4 +2,4 @@ configs="$BRIEFCASE/configs" -(cd "$configs/shared" && stow --delete --target="$HOME" .) +(cd "$configs" && stow --delete --target="$HOME" .) |