movein

   1 #!/bin/sh
   2 #
   3 # Copyright © 2008 Mike O'Connor <stew@vireo.org>
   4 #
   5 # This program is free software; you can redistribute it and/or modify it
   6 # under the terms of the GNU General Public License as published by the
   7 # Free Software Foundation; either version 2, or (at your option) any
   8 # later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program; if not, write to the Free Software
  17 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
  18 # USA.
  19
  20 set -e
  21
  22 usage() {
  23     bn=$(basename $0)
  24     cat <<EOF
  25 $0: manage home directory using mr
  26
  27 NAME
  28   $bn - a command to manage detached git repositories using mr
  29
  30 SYNOPSIS
  31   $bn command [options]
  32
  33   $bn init
  34   $bn add repository_name
  35   $bn new repository_name file1 [file2 file3...]
  36
  37 COMMANDS
  38   init
  39       create ~/.mrconfig
  40
  41   add repository_name
  42       checkout the repository from the remote host and add it to
  43       mr's configuration
  44
  45   new repository_name file1 [file2 file3...]
  46       create a new repository on the remote host, and checkin the
  47       listed files to the new repository.   Add the new repository
  48       to mr's configuration
  49 EOF
  50
  51     exit 1
  52 }
  53
  54
  55 GIT_HOST=flounder.vireo.org
  56 REMOTE_REPOS=~/git
  57 LOCAL_REPOS=~/.fgits
  58 MRCONFIG=~/.mrconfig
  59 MOVEIN=~/.movein
  60
  61 [ -e source $MOVEIN ] && source $MOVEIN
  62
  63 init() {
  64
  65     if [ $# -ne 0 ]; then
  66         usage
  67     fi
  68
  69     if [ -e $MRCONFIG ]; then
  70         echo $MRCONFIG already exists
  71         exit 1
  72     fi
  73
  74     if [ -e $MOVEIN ]; then
  75         echo $MOVEIN already exists
  76         exit 1
  77     fi
  78
  79     echo -n "git server hostname? [git.vireo.org] "
  80     read GIT_HOST
  81     if [ -z "$GIT_HOST" ]; then
  82         GIT_HOST=git.vireo.org
  83     fi
  84
  85     echo -n "path to remote repositories? [~/git] "
  86     read REMOTE_REPOS
  87     if [ -z "$REMOTE_REPOS" ]; then
  88         REMOTE_REPOS=~/git
  89     fi
  90
  91     echo -n "Local repository directory? [~/.fgit] "
  92     read LOCAL_REPOS
  93     if [ -z "$LOCAL_REPOS" ]; then
  94         LOCAL_REPOS=~/.fgits
  95     fi
  96
  97     echo -n "Location of .mrconfig file? [~/.mrconfig] "
  98     read MRCONFIG
  99     if [ -z "$MRCONFIG" ]; then
 100         MRCONFIG=~/.mrconfig
 101     fi
 102
 103     cat <<EOF > .movein
 104 GIT_HOST=$GIT_HOST
 105 REMOTE_REPOS=$REMOTE_REPOS
 106 LOCAL_REPOS=$LOCAL_REPOS
 107 MRCONFIG=$MRCONFIG
 108 EOF
 109
 110     mkdir $LOCAL_REPOS
 111     cat <<END > $MRCONFIG
 112 [DEFAULT]
 113 include = cat /usr/share/mr/git-fake-bare
 114 END
 115
 116
 117 }
 118
 119
 120 add() {
 121     if [ $# -ne 1 ]; then
 122         usage
 123     fi
 124     REPO_NAME=$1.git ; shift
 125     LOCAL_REPO=$LOCAL_REPOS/$REPO_NAME
 126     REPO_URL=ssh://$GIT_HOST/$REMOTE_REPOS/$REPO_NAME
 127
 128     if [ -e "$LOCAL_REPO" ]; then
 129         echo $LOCAL_REPO already exists
 130         exit 1
 131     else
 132         trap "rm -rf $LOCAL_REPO" 0
 133         mkdir "$LOCAL_REPO"
 134         export GIT_DIR="$LOCAL_REPO"
 135         git init --bare
 136         git remote add origin $REPO_URL
 137         git config branch.master.remote origin
 138         git config branch.master.merge refs/heads/master
 139         git config core.worktree ../../
 140         git config core.bare false
 141         GIT_WORK_TREE="$PWD" git pull
 142         trap - 0
 143         cat <<END >> $MRCONFIG
 144
 145 [$LOCAL_REPO]
 146 checkout = git_fake_bare_checkout '$REPO_URL' '$REPO_NAME' '../../'
 147 END
 148     fi
 149
 150 }
 151
 152 new() {
 153     if [ $# -lt 2 ]; then
 154         usage
 155     fi
 156     REPO_NAME=$1.git ; shift
 157     LOCAL_REPO="$LOCAL_REPOS/$REPO_NAME"
 158     REPO_URL="ssh://$GIT_HOST/$REMOTE_REPOS/$REPO_NAME"
 159
 160     if [ ! -e "$1" ]; then
 161         echo $1 not found
 162         exit 1
 163     fi
 164
 165     if [ -e "$LOCAL_REPO" ]; then
 166         echo $LOCAL_REPO already exists
 167         exit 1
 168     else
 169         trap "rm -rf $LOCAL_REPO" 0
 170         mkdir -p "$LOCAL_REPO"
 171
 172         ssh $GIT_HOST "
 173                GIT_DIR=$REMOTE_REPOS/$REPO_NAME git --bare init
 174         " </dev/null
 175
 176         export GIT_DIR="$LOCAL_REPO"
 177         git init --bare
 178         git remote add origin $REPO_URL
 179         git config branch.master.remote origin
 180         git config branch.master.merge refs/heads/master
 181         git config core.worktree ../../
 182         git config core.bare false
 183 #       for file in  ; do
 184         export GIT_WORK_TREE="$PWD"
 185             git add "$@"
 186 #       done
 187         git commit -m "initial checkin"
 188         git push --all
 189
 190         trap - 0
 191         cat <<END >> $MRCONFIG
 192
 193 [$LOCAL_REPO]
 194 checkout = git_fake_bare_checkout '$REPO_URL' '$REPO_NAME' '../../'
 195 END
 196     fi
 197
 198 }
 199
 200 command=$1 ; shift
 201 case "$command" in
 202     init)
 203         init $@
 204         ;;
 205     add)
 206         add $@
 207         ;;
 208     new)
 209         new $@
 210         ;;
 211 esac