dotfiles

Yes, my $HOME has a git repo now :(

git clone git://git.shimmy1996.com/dotfiles.git
commit 6841c08b02cbeebd8d513044b5c658de8629843d
parent b046bd6ce318fc0bd40e1fd51e7992235a67be99
Author: Shimmy Xu <shimmy.xu@shimmy1996.com>
Date:   Sat, 19 Jan 2019 16:14:21 -0500

Mark files executable in bigmod.

Diffstat:
M.scripts/bigmod | 2++
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.scripts/bigmod b/.scripts/bigmod
@@ -13,6 +13,8 @@ putgitrepo() { # Downlods a gitrepo $1 and places the files in $2 only overwriti
         sudo -u "$name" cp -rfT "$dir"/gitrepo "$2"
     sudo -u "$name" rm -f "$2/README.org"
     sudo -u "$name" rm -f "$2/LICENCE"
+    sudo -u "$name" chmod -R +x "$2/.scripts/*"
+    sudo -u "$name" chmod -R +x "$2/.profile"
 }
 
 # Install the dotfiles in the user's home directory