factor-git/f

   1 #!/bin/sh
   2
   3 __bootstrap() {
   4     cd ~/.factor
   5     ln -sf /usr/share/factor/boot.image .
   6     f-bin -i=boot.image
   7     mv f-bin.image factor.image
   8     rm boot.image
   9 }
  10
  11 [ ! -d ~/.factor ] && mkdir -p ~/.factor
  12 [ ! -h ~/.factor/libs ] && ln -sf /usr/lib/factor/* ~/.factor/
  13
  14 bootmtime=$(stat -c="%Y" /usr/share/factor/boot.image)
  15
  16 if [ -f ~/.factor/factor.image ]; then
  17     imagemtime=$(stat -c="%Y" ~/.factor/factor.image)
  18     if [ -f ~/.factor-boot-rc ]; then
  19         brcmtime=$(stat -c="%Y" ~/.factor-boot-rc)
  20         (  [ ${brcmtime#=} -gt ${imagemtime#=} ] \
  21         || [ ${bootmtime#=} -gt ${imagemtime#=} ] \
  22         ) && __bootstrap
  23     else
  24         [ ${bootmtime#=} -gt ${imagemtime#=} ] && __bootstrap
  25     fi
  26 else
  27     __bootstrap
  28 fi
  29
  30 /usr/bin/f-bin -i=$HOME/.factor/factor.image $*