update git-develacc for new VM

1 files changed, 8 insertions, 2 deletions

diff --git a/bin/git-develacc b/bin/git-develacc
index 5ab99ae3..e13037de 100755
--- a/bin/git-develacc
+++ b/bin/git-develacc
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# git-develacc -- manage repositories in develacc container
+# git-develacc -- manage repositories in develacc NFS share
 
 # Copyright (C) 2018 Sean Whitton
 #
@@ -29,12 +29,18 @@ fi
 
 # set variables
 outside_home="$HOME"
-inside_home="$(getent passwd spw | cut -d: -f6)"
+# inside_home="$(getent passwd spw | cut -d: -f6)"
+inside_home="/srv/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"