projects
/
www.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c971c5c
)
exit on first error
author
Jean-Philippe Orsini
<jeanfi@gmail.com>
Fri, 10 Jun 2016 09:24:28 +0000
(11:24 +0200)
committer
Jean-Philippe Orsini
<jeanfi@gmail.com>
Fri, 10 Jun 2016 09:24:28 +0000
(11:24 +0200)
psensor-www-update.sh
patch
|
blob
|
history
diff --git
a/psensor-www-update.sh
b/psensor-www-update.sh
index
cb262b3
..
9179ee1
100755
(executable)
--- a/
psensor-www-update.sh
+++ b/
psensor-www-update.sh
@@
-1,11
+1,13
@@
#!/bin/bash
+set -e
+
GIT_DIR=git
if [ ! -d $GIT_DIR/psensor ]; then
git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
else
- git -C $GIT_DIR/psensor pull
+ git -C $GIT_DIR/psensor pull
fi
asciidoctor $GIT_DIR/psensor/NEWS -D www/psensor
@@
-13,4
+15,3
@@
asciidoctor $GIT_DIR/psensor/README -D www/psensor
asciidoctor $GIT_DIR/psensor/doc/faq.txt -D www/psensor
asciidoctor $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
-