remove redundance server URI

[etc/mrsetup.git] / mrsetup

diff --git a/mrsetup b/mrsetup
index e3782480d4d495959501a70b642f74e3d92d8101..7910c008867f0750a313fceb0ee76422cbad4f0d 100755 (executable)
--- a/mrsetup
+++ b/mrsetup
@@ -14,7 +14,7 @@ MY_ACCOUNT_GIT_REPO=${MY_GIT_REPOS}/accounts/${MY_ACCOUNT}.git
 MY_GIT_URL_BASE=ssh://$MY_GIT_SERVER
 MY_MR_REPO_URL=$MY_GIT_URL_BASE/$MY_GIT_REPOS/pub/etc/mr.git
 MY_ACCOUNT_REPO_URL=$MY_GIT_URL_BASE/$MY_ACCOUNT_GIT_REPO
 MY_GIT_URL_BASE=ssh://$MY_GIT_SERVER
 MY_MR_REPO_URL=$MY_GIT_URL_BASE/$MY_GIT_REPOS/pub/etc/mr.git
 MY_ACCOUNT_REPO_URL=$MY_GIT_URL_BASE/$MY_ACCOUNT_GIT_REPO

-MR_REPO_URL=git://git.kitenet.net/mr
+MR_REPO_URL=$MY_GIT_URL_BASE/~/git/pub/code/mr.git

 MR_CODE=code/mr
 MR_FGIT=.fgits/mr.git
 MR=.mr
 MR_CODE=code/mr
 MR_FGIT=.fgits/mr.git
 MR=.mr


@@ -30,6 +30,8 @@ if [ ! -x "$(command -v git)" ]; then
   exit 2
 fi
 
   exit 2
 fi
 

+cd $HOME
+

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


@@ -55,8 +57,9 @@ if [ -d code/mr ]; then
 else
   echo I: cloning mr into ${MR_CODE}...
   mkdir --parent ${MR_CODE%/*}
 else
   echo I: cloning mr into ${MR_CODE}...
   mkdir --parent ${MR_CODE%/*}

-  git clone $MR_REPO_URL $MR_CODE
-  mkdir .bin
+  git clone --no-checkout $MR_REPO_URL $MR_CODE
+  (cd $MR_CODE && git checkout -b vcsh origin/vcsh)
+  mkdir --parent $BIN_DIR

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


@@ -111,7 +114,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.