annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
51
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #!/bin/sh
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
2
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 set -e
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
4
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 readonly wrkdir="$(mktemp -d /tmp/sci-XXXXXX)"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 readonly repo="http://hg.malikania.fr/sci"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
7
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 trap "cleanup" INT TERM EXIT
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
9
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 cleanup()
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 {
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 rm -rf $wrkdir
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 }
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
14
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 if [ "$#" -ne 1 ]; then
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 echo "abort: $(basename $0) revision" 1>&2
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 exit 1
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 fi
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
19
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 echo "=> Cloning repository $repo (revision $1) into $wrkdir"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 hg clone -r "$1" "$repo" "$wrkdir"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 cd "$wrkdir"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
23
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 echo "=> Building"
054cc00e23d2 examples: add sci.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 make