blob: 0b66a129c3d847a41af01eb9561e8c92d3de1fbf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
echo "Cloning Fossil $url [$rev] 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.
# Instead, we'll let it write to the build directory.
export HOME=$(pwd)
# We must explicitly set the admin user for the clone to something reasonable.
fossil clone -A $(whoami) "$url" fossil-clone.fossil
mkdir fossil-clone
WORKDIR=$(pwd)
mkdir $out
pushd $out
fossil open "$WORKDIR/fossil-clone.fossil" "$rev"
popd
# Just nuke the checkout file.
rm $out/.fslckout
|
