20a0e2e3bf
This is a dead-simple fetcher which clones a Fossil repository, opens it directly into $out, and then nicks out the single Fossil checkout marker.
22 lines
524 B
Bash
22 lines
524 B
Bash
source $stdenv/setup
|
|
header "Cloning Fossil $url into $out"
|
|
|
|
# Fossil, bless its adorable little heart, wants to write global configuration
|
|
# to $HOME/.fossil. AFAICT, there is no way to disable this functionality.
|
|
export HOME=.
|
|
|
|
# We must explicitly set the admin user for the clone to something reasonable.
|
|
fossil clone -A nobody "$url" fossil-clone.fossil
|
|
|
|
mkdir fossil-clone
|
|
WORKDIR=$(pwd)
|
|
mkdir $out
|
|
pushd $out
|
|
fossil open "$WORKDIR/fossil-clone.fossil"
|
|
popd
|
|
|
|
# Just nuke the checkout file.
|
|
rm $out/.fslckout
|
|
|
|
stopNest
|