repo.or.cz
/
girocco
/
mytab.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
mirroring/update.sh: Remove the obsolete --git-dir=.
[girocco/mytab.git]
/
mirroring
/
update.sh
blob
ed683d8d1b025c83b6ab2495e048b842dc593d08
1
#!/bin/bash
2
3
. @basedir@
/
shlib.sh
4
5
set -e
6
7
proj
=
"
$1
"
8
9
bang_setup
10
bang_once
=
1
11
bang_action
=
"update"
12
13
cd
"
$proj
.git"
14
url
=
"$(cat base_url)"
15
mail
=
"$(cat owner)"
16
17
bang git mirror
"
$url
"
18
bang git update-server-info
19
date
-R
>
.last_refresh
20
21
if
[
-e
.banged
];
then
22
echo
"
$proj
update succeeded - failure recovery"
|
mail
-s
"[
$cfg_name
]
$proj
update succeeded"
"
$mail
,
$cfg_admin
"
23
rm
.banged
24
fi