gistfile1.sh

#!/bin/bash
export http_proxy=proxy.brighton.ac.uk:80
cd ${HOME}/darcs.net
echo ======================================================================
echo building
echo ======================================================================
cabal configure -ftest
cabal build
echo ======================================================================
echo unit tests
echo ======================================================================
dist/build/unit/unit
echo ======================================================================
echo darcs check
echo ======================================================================
(\
darcs check --test &&\
 darcs push -a [email protected]:darcs &&\
 cabal haddock --internal --hoogle &&\
 rsync -av dist/doc/html/* [email protected]:darcs/api-doc\
) || (echo "THERE WAS A PROBLEM!" ; exit 1)
echo ======================================================================
echo done pushing to darcs.net!
echo ======================================================================