do not set -e while testing

[etc/mrsetup.git] / mrsetup

diff --git a/mrsetup b/mrsetup
index ca453ae67ee9aff5d0efa627b90c0601ec8e94c3..275ec3a455f7a7195139da9bd2060d2a718e943e 100755 (executable)
--- a/mrsetup
+++ b/mrsetup
@@ -5,7 +5,7 @@
 # Copyright © 2008 martin f. krafft <madduck@madduck.net>
 # Released under the terms of the Artistic Licence 2.0
 #
 # Copyright © 2008 martin f. krafft <madduck@madduck.net>
 # Released under the terms of the Artistic Licence 2.0
 #

-set -eu
+set -u

 
 MY_GIT_SERVER=git.madduck.net
 MY_GIT_REPOS='~/git'
 
 MY_GIT_SERVER=git.madduck.net
 MY_GIT_REPOS='~/git'


@@ -19,24 +19,29 @@ MR_FGIT=.fgits/mr.git
 MR=.mr
 BIN_DIR=.bin
 
 MR=.mr
 BIN_DIR=.bin
 

+if [ -z "${SSH_AUTH_SOCK:-}" ]; then
+  echo E: '$SSH_AUTH_SOCK' is not set. >&2
+  exit 1
+fi
+

 if [ ! -x "$(command -v git)" ]; then
   echo E: git is not installed. >&2
 if [ ! -x "$(command -v git)" ]; then
   echo E: git is not installed. >&2

-  exit 1
+  exit 2

 fi
 
 if [ -e .mrconfig ]; then
   echo E: .mrconfig already exists. >&2
 fi
 
 if [ -e .mrconfig ]; then
   echo E: .mrconfig already exists. >&2

-  exit 2
+  exit 3

 fi
 
 if [ -d "$MR_FGIT" ]; then
   echo E: "$MR_FGIT" already exists. >&2
 fi
 
 if [ -d "$MR_FGIT" ]; then
   echo E: "$MR_FGIT" already exists. >&2

-  exit 3
+  exit 4

 fi
 
 if [ -d ".git" ]; then
   echo E: .git already exists. >&2
 fi
 
 if [ -d ".git" ]; then
   echo E: .git already exists. >&2

-  exit 3
+  exit 5

 fi
 
 if [ -d code/mr ]; then
 fi
 
 if [ -d code/mr ]; then


@@ -44,7 +49,7 @@ if [ -d code/mr ]; then
     echo W: code/mr already exists, let us hope for the best... >&2
   else
     echo E: code/mr already exists. >&2
     echo W: code/mr already exists, let us hope for the best... >&2
   else
     echo E: code/mr already exists. >&2

-    exit 4
+    exit 6

   fi
 else
   echo I: cloning mr into ${MR_CODE}...
   fi
 else
   echo I: cloning mr into ${MR_CODE}...


@@ -96,8 +101,14 @@ else
   git add .mrconfig
   git commit -m'initial checkin'
   git push --all
   git add .mrconfig
   git commit -m'initial checkin'
   git push --all

+  echo

 fi
 
 fi
 

-[ -f "$0" ] && rm $0
+[ -f "$0" ] && rm $0 || :
+
+echo I: spawning a shell...
+$SHELL --interactive --login
+
+echo I: back from the shell.

 
 exit 0
 
 exit 0