view examples/sci.sh @ 83:28fd8b5247f0

scid: make sure index page list most recents first
author David Demelier <markand@malikania.fr>
date Tue, 28 Feb 2023 16:31:34 +0100
parents 054cc00e23d2
children
line wrap: on
line source

#!/bin/sh

set -e

readonly wrkdir="$(mktemp -d /tmp/sci-XXXXXX)"
readonly repo="http://hg.malikania.fr/sci"

trap "cleanup" INT TERM EXIT

cleanup()
{
	rm -rf $wrkdir
}

if [ "$#" -ne 1 ]; then
	echo "abort: $(basename $0) revision" 1>&2
	exit 1
fi

echo "=> Cloning repository $repo (revision $1) into $wrkdir"
hg clone -r "$1" "$repo" "$wrkdir"
cd "$wrkdir"

echo "=> Building"
make