.mrconfig

   1 [DEFAULT]
   2 fossil_update = fossil update
   3 lib =
   4   hostname="$(hostname)"
   5   whoami="$(whoami)"
   6   anon()
   7     {
   8       ( GIT_CONFIG=$HOME/.git/config git config remote.origin.url ) | grep -q 'git://'
   9     }
  10   on()
  11     {
  12       for host in $@; do
  13         if [ "${host%@*}" != "${host#*@}" ]; then
  14           if [ "$whoami" != "${host%@*}" ]; then
  15             continue
  16           fi
  17           host="${host#*@}"
  18         fi
  19         if [ "$hostname" = "$host" ]; then
  20           return 0
  21         fi
  22       done
  23       return 1
  24     }
  25   onvpn()
  26     {
  27       ip route list | grep tun0 >/dev/null 2>&1
  28       return $?
  29     }
  30   atwork()
  31     {
  32       [ ! -e /var/run/mr/restriced ]
  33     }
  34   src01()
  35     {
  36       [ -e $HOME/.src01ok ]
  37     }
  38   full()
  39     {
  40       test "$whoami" = james && ! on dune thrain arrakis
  41     }
  42 [.]
  43 order = 1
  44 checkout =
  45   if anon; then
  46     git clone git://git.jamestechnotes.com/james/home/home.git
  47   else
  48     git clone ssh://git@git.jamestechnotes.com/james/home/home.git
  49   fi
  50
  51 # Dummy target to create Maildir. Doesn't run offlineimap as I have cron do that
  52 [Maildir]
  53 update = :
  54 skip = ! full
  55 checkout = mkdir Maildir Maildir/cur Maildir/new Maildir tmp; chmod 700 Maildir
  56 status = :
  57
  58 #Temp file.
  59 [tmp]
  60 fixups = $HOME/bin/fixups
  61 checkout = mkdir -p $HOME/tmp
  62 status = :
  63 update = :
  64 push = :
  65 log = :
  66 order = 50
  67
  68 [.etc]
  69 order = 2
  70 checkout =
  71   if anon; then
  72     git clone git://git.jamestechnotes.com/james/home/etc.git .etc
  73   else
  74     git clone ssh://git@git.jamestechnotes.com/james/home/etc.git .etc
  75   fi
  76
  77 [.cron]
  78 order = 2
  79 checkout =
  80   if anon; then
  81     git clone git://git.jamestechnotes.com/james/home/cron.git .cron
  82   else
  83     git clone ssh://git@git.jamestechnotes.com/james/home/cron.git .cron
  84   fi
  85
  86 [.plus]
  87 skip = lazy
  88 checkout =
  89   if anon; then
  90     git clone git://git.jamestechnotes.com/james/home/etc.git .etc
  91   else
  92     git clone ssh://git@git.jamestechnotes.com/james/home/etc.git .etc
  93
  94 [.hide]
  95 skip = lazy
  96
  97 [.local]
  98 skip = lazy
  99 checkout =
 100   [ -f $HOME/.repos/local.fossil ] || fossil clone -A james http://james@jamestechnotes.com/repos.cgi/local $HOME/.repos/local.fossil
 101   mkdir .local
 102   cd .local
 103   fossil open --nested $HOME/.repos/local.fossil
 104
 105 [/home/public]
 106 skip = lazy
 107
 108 [src]
 109 skip = lazy
 110 chain = true
 111 checkout =
 112   [ -f $HOME/.repos/src.fossil ] || fossil clone -A james http://james@jamestechnotes.com/repos.cgi/src $HOME/.repos/src.fossil
 113   mkdir src
 114   cd src
 115   fossil open --nested $HOME/.repos/src.fossil
 116
 117 [src01]
 118 skip = lazy || ! ( onvpn || atwork ) && ! src01
 119 chain = true
 120 checkout = :