do not use long opts to call shell

[etc/mrsetup.git] / mrsetup

diff --git a/mrsetup b/mrsetup
index d1fbb1b6da756292581edfa50430b6ad3ae6822d..5a17d073f705277d4879037fd1c1c30bb661faba 100755 (executable)
--- a/mrsetup
+++ b/mrsetup
@@ -56,7 +56,7 @@ else
   echo I: cloning mr into ${MR_CODE}...
   mkdir --parent ${MR_CODE%/*}
   git clone $MR_REPO_URL $MR_CODE
   echo I: cloning mr into ${MR_CODE}...
   mkdir --parent ${MR_CODE%/*}
   git clone $MR_REPO_URL $MR_CODE

-  mkdir .bin
+  mkdir --parent $BIN_DIR

   ln -s ../${MR_CODE}/mr $BIN_DIR/mr
   echo
 fi
   ln -s ../${MR_CODE}/mr $BIN_DIR/mr
   echo
 fi


@@ -82,7 +82,7 @@ cp $MR/templ/.mrconfig .
 echo I: setting up base...
 $MR_CODE/mr co
 
 echo I: setting up base...
 $MR_CODE/mr co
 

-if ! ssh $MY_GIT_SERVER "test -d $MY_ACCOUNT_GIT_REPO" </dev/null; then
+if ssh $MY_GIT_SERVER "test -d $MY_ACCOUNT_GIT_REPO" </dev/null; then

   echo I: checking out local git repository...
   dir="$(mktemp -d home.XXXXXXXX)"
   trap "rm -rf $dir" 0
   echo I: checking out local git repository...
   dir="$(mktemp -d home.XXXXXXXX)"
   trap "rm -rf $dir" 0


@@ -98,7 +98,7 @@ else
   ssh $MY_GIT_SERVER "
     GIT_DIR=${MY_ACCOUNT_GIT_REPO} git --bare init
     echo 'account setup for $MY_ACCOUNT'
   ssh $MY_GIT_SERVER "
     GIT_DIR=${MY_ACCOUNT_GIT_REPO} git --bare init
     echo 'account setup for $MY_ACCOUNT'

-    "
+    " </dev/null

   echo I: setting up local git repository...
   git init
   git remote add origin $MY_ACCOUNT_REPO_URL
   echo I: setting up local git repository...
   git init
   git remote add origin $MY_ACCOUNT_REPO_URL


@@ -111,7 +111,7 @@ else
 fi
 
 echo I: spawning a shell...
 fi
 
 echo I: spawning a shell...

-$SHELL --interactive --login
+$SHELL -i -l </dev/tty >/dev/tty

 
 echo I: back from the shell.
 
 
 echo I: back from the shell.