| changeset 3464 | 33b6c8193652 |
| parent 3426 | f29989e9746e |
| child 4138 | 85237110c371 |
| 3463:5155fa27f514 | 3464:33b6c8193652 |
|---|---|
7 |
7 |
8 echo "Pushing as user $user" |
8 echo "Pushing as user $user" |
9 echo 'hgrc = """' |
9 echo 'hgrc = """' |
10 sed -e 1,2d b/.hg/hgrc |
10 sed -e 1,2d b/.hg/hgrc |
11 echo '"""' |
11 echo '"""' |
12 if [ -e acl.config ]; then |
12 if test -f acl.config; then |
13 echo 'acl.config = """' |
13 echo 'acl.config = """' |
14 cat acl.config |
14 cat acl.config |
15 echo '"""' |
15 echo '"""' |
16 fi |
16 fi |
17 LOGNAME=$user hg --cwd a --debug push ../b |
17 LOGNAME=$user hg --cwd a --debug push ../b |