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/install | |
| parent | 137bd6dc0c8ef65d89c0daada860a2dd25460983 (diff) | |
Splice configs/shared directory
- Move all children from configs/shared into configs. - Delete "shared" directory.
Diffstat (limited to 'configs/install')
| -rwxr-xr-x | configs/install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/install b/configs/install index d6eb7752180e..ec94036823c5 100755 --- a/configs/install +++ b/configs/install @@ -2,4 +2,4 @@ configs="$BRIEFCASE/configs" -(cd "$configs/shared" && stow --target="$HOME" .) +(cd "$configs" && stow --target="$HOME" .) |