X-Git-Url: https://git.madduck.net/etc/mrsetup.git/blobdiff_plain/8d723ff13bdbfacff2ae2f1847512bdec36bbd55..8bea0f1aaf070543c4cc9172d35935c84c5cfa8b:/mrsetup diff --git a/mrsetup b/mrsetup index 275ec3a..148f609 100755 --- a/mrsetup +++ b/mrsetup @@ -5,16 +5,15 @@ # Copyright © 2008 martin f. krafft # Released under the terms of the Artistic Licence 2.0 # -set -u - -MY_GIT_SERVER=git.madduck.net -MY_GIT_REPOS='~/git' -MY_ACCOUNT_GIT_REPO=$MY_GIT_REPOS/accounts/$(whoami)@$(hostname --fqdn).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 -MR_REPO_URL=git://git.kitenet.net/mr -MR_CODE=code/mr +set -eu + +MY_ACCOUNT="$(whoami)@$(hostname --fqdn)" +MY_ACCOUNT_GIT_REPO=${MY_GIT_REPOS}/accounts/${MY_ACCOUNT}.git +MY_GIT_URL_BASE=madduck: +MY_MR_REPO_URL=${MY_GIT_URL_BASE}pub/etc/mr.git +#MY_ACCOUNT_REPO_URL=$MY_GIT_URL_BASE/$MY_ACCOUNT_GIT_REPO +MR_REPO_URL=${MY_GIT_URL_BASE}pub/code/mr.git +MR_CODE=$HOME/code/mr MR_FGIT=.fgits/mr.git MR=.mr BIN_DIR=.bin @@ -29,6 +28,8 @@ if [ ! -x "$(command -v git)" ]; then exit 2 fi +cd $HOME + if [ -e .mrconfig ]; then echo E: .mrconfig already exists. >&2 exit 3 @@ -54,8 +55,9 @@ if [ -d code/mr ]; then 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 @@ -81,33 +83,36 @@ cp $MR/templ/.mrconfig . echo I: setting up base... $MR_CODE/mr co -if ssh $MY_GIT_SERVER "test -d $MY_ACCOUNT_GIT_REPO"; then - echo I: checking out local git repository... - dir="$(mktemp -d home.XXXXXXXX)" - trap "rm -rf $dir" 0 - git clone --no-checkout $MY_ACCOUNT_REPO_URL "$dir"/co - mv "$dir"/co/.git . - git checkout-index --quiet --index --all - git reset HEAD - echo -else - echo I: creating remote git repository for this account... - ssh $MY_GIT_SERVER "GIT_DIR=${MY_ACCOUNT_GIT_REPO} git --bare init" - echo I: setting up local git repository... - git init - git remote add origin $MY_ACCOUNT_REPO_URL - git config branch.master.remote origin - git config branch.master.merge refs/heads/master - git add .mrconfig - git commit -m'initial checkin' - git push --all - echo -fi - -[ -f "$0" ] && rm $0 || : +#if ssh $MY_GIT_SERVER "test -d $MY_ACCOUNT_GIT_REPO" /dev/tty echo I: back from the shell.