repo.or.cz
/
girocco.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
_property_path() takes property filename instead of property name now
[girocco.git]
/
updatecheck.sh
blob
d20a93d4f27005334a4285cf71346927e75b74fe
1
#!/bin/bash
2
3
if
[
-e
/
tmp
/
gitupdatelock
];
then
4
echo
"Locked!"
>&
2
5
exit
1
6
fi
7
touch
/
tmp
/
gitupdatelock
8
9
cd
/
srv
/
git
10
for
dir
in
*;
do
11
[
-e
"
$dir
"
/
.nofetch
] &&
continue
12
/
home
/
repo
/
repomgr
/
update.sh
"
${dir%.git}
"
13
done
14
15
rm
/
tmp
/
gitupdatelock