equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 |
2 |
3 "$TESTDIR/hghave" baz || exit 80 |
3 "$TESTDIR/hghave" baz || exit 80 |
|
4 |
|
5 # I cannot find a way to set the user name locally |
|
6 tla my-id > /dev/null 2>&1 |
|
7 if [ $? -ne 0 ]; then |
|
8 echo '***' |
|
9 echo '* PLEASE SET YOUR TLA USERNAME WITH:' |
|
10 echo '* tla my-id username' |
|
11 echo '***' |
|
12 exit 1; |
|
13 fi |
4 |
14 |
5 echo "[extensions]" >> $HGRCPATH |
15 echo "[extensions]" >> $HGRCPATH |
6 echo "convert=" >> $HGRCPATH |
16 echo "convert=" >> $HGRCPATH |
7 echo 'hgext.graphlog =' >> $HGRCPATH |
17 echo 'hgext.graphlog =' >> $HGRCPATH |
8 |
18 |