From fe61dee51170a4aa7cdd984e03e56d4dc45afbb9 Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Thu, 5 Mar 2020 17:26:08 +0000
Subject: Splice configs/shared directory

- Move all children from configs/shared into configs.
- Delete "shared" directory.
---
 configs/install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configs/install')

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" .)
-- 
cgit 1.4.1