Initial commit

1 files changed, 82 insertions, 0 deletions

diff --git a/mrmovein b/mrmovein
new file mode 100755
index 0000000..1a456ab
--- /dev/null
+++ b/mrmovein
@@ -0,0 +1,82 @@
+#!/bin/sh
+#
+# move in script - set up a newly created account with sensible configuration
+#
+# Copyright © 2011 Tobias Klauser <tklauser@distanz.ch>
+# Released under the terms of the Artistic Licence 2.0
+#
+# Based on mrsetup by martin f. krafft which is:
+# Copyright © 2008 martin f. krafft <madduck@madduck.net>
+#
+
+set -eu
+
+GIT_SERVER=ssh://git.distanz.ch
+GIT_REPOS='srv/git/git.distanz.ch'
+MR_CODE=$HOME/src/mr
+MR_REPO_URL=$GIT_SERVER/$GIT_REPOS/mr.git
+MR_DOTFILES_REPO_URL=$GIT_SERVER/$GIT_REPOS/dotfiles/mr.git
+DOTFILES=$HOME/src/dotfiles
+MR_DOTFILES=src/dotfiles/mr.git
+
+if [ ! -x "$(command -v git)" ]; then
+  echo "E: git is not installed." >&2
+  exit 2
+fi
+
+cd $HOME
+
+if [ -e .mrconfig ]; then
+  echo "E: .mrconfig already exists." >&2
+  exit 2
+fi
+
+if [ -d "$DOTFILES" ]; then
+  echo "E: $DOTFILES already exists." >&2
+  exit 3
+fi
+
+if [ -d .git ]; then
+  echo "E: .git already exists." >&2
+  exit 4
+fi
+
+if [ -d $MR_CODE ]; then
+  if [ -x $MR_CODE/mr ]; then
+    echo "W: $MR_CODE already exists, let's hope for the best." >&2
+  else
+    echo "E: $MR_CODE already exists but doesn't provide mr." >&2
+    exit 5
+  fi
+else
+  echo "I: cloning mr into $MR_CODE..."
+  mkdir -p ${MR_CODE%/*}
+  git clone --no-checkout $MR_REPO_URL $MR_CODE
+  (cd $MR_CODE && git checkout -b vcsh origin/vcsh)
+  echo
+fi
+
+cat << EOF > .mrconfig.movein
+[DEFAULT]
+include = cat $MR_CODE/lib/*
+
+[$MR_DOTFILES]
+checkout = git_fake_bare_checkout $MR_DOTFILES_REPO_URL ${MR_DOTFILES##*/} ../../../
+EOF
+
+cat << EOF > .mrtrust
+.mrconfig.movein
+EOF
+
+echo "I: initial .mrconfig:"
+cat .mrconfig.movein
+echo
+
+echo "I: cloning mr configuration..."
+$MR_CODE/mr --config .mrconfig.movein co
+echo
+
+#echo "I: setting up base..."
+#$MR_CODE/mr co
+
+exit 0