diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-08 21:59:10 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-08 21:59:10 -0700 |
commit | d693f3bd91401da64f72286b29f4c8e65ef2dd05 (patch) | |
tree | 312f18cbc043aeb0c855abd33ecb6778c8697373 /bin/git-develacc | |
parent | df5330035c215fa0da02c794d580f97aae7e1cfd (diff) | |
download | dotfiles-d693f3bd91401da64f72286b29f4c8e65ef2dd05.tar.gz |
update for new ~/local/develacc
Diffstat (limited to 'bin/git-develacc')
-rwxr-xr-x | bin/git-develacc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/bin/git-develacc b/bin/git-develacc index e13037de..0d8178a0 100755 --- a/bin/git-develacc +++ b/bin/git-develacc @@ -30,17 +30,12 @@ fi # set variables outside_home="$HOME" # inside_home="$(getent passwd spw | cut -d: -f6)" -inside_home="/srv/develacc" +inside_home="/home/spwhitton/local/develacc" outside="$(pwd)" inside="${outside/$outside_home/$inside_home}" parent="$(dirname $inside)" short="$(basename $outside)" -# mount it if needed -if ! [ -e "/srv/develacc/src" ]; then - mount /srv/develacc -fi - # clone the repo if needed if ! [ -d "$inside" ]; then mkdir -p "$parent" |