lib/gitless

   1 # This adds a special type of git repository, where the .git directory
   2 # is stored on a file server, to avoid wasting space with it on the client.
   3 # One example use is storing a music collection in git, where you can spare
   4 # the extra space needed for .git on your file server, but not on your
   5 # laptop. This fills basically the same niche as unison.
   6 #
   7 # To make mr use this file, add a line like this inside the [DEFAULT]
   8 # section of your ~/.mrconfig
   9 #include = cat /usr/share/mr/gitless
  10 #
  11 # And an example repo using it would look something like:
  12 #[lib/sound]
  13 #checkout = gitless_checkout turtle /media/turtle/home/joey/lib sound
  14 #
  15 # In this example, the file server's hostname is "turtle",
  16 # and it's mounted on /media/turtle. The file server contains a sound.git
  17 # repository in the specified directory under that mount point.
  18 # When mr checks out that repository, it will create a sound.hostname
  19 # directory on the server, containing just the .git directory, and symlink
  20 # the client's .git directory to it. After checkout, normal git and mr
  21 # commands can be used, as long as the file server is available.
  22
  23 lib =
  24         gitless_checkout() {
  25                 server="$1"
  26                 remotebase="$2"
  27                 dir="$3"
  28                 hostname="$(hostname)"
  29                 if [ "$hostname" = "$server" ]; then
  30                         git clone "$dir.git" "$dir"
  31                 else
  32                         if [ ! -d "$remotebase/$dir.$hostname" ]; then
  33                                 git clone --no-checkout "$remotebase/$dir.git" "$remotebase/$dir.$hostname"
  34                         fi
  35                         mkdir -p "$dir"
  36                         cd "$dir"
  37                         ln -sf "$remotebase/$dir.$hostname/.git"
  38                         git reset --hard
  39                 fi
  40         }