projects
/
physical.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added round pincers
[physical.git]
/
repository handling tools
/
update web site
diff --git
a/repository handling tools/update web site
b/repository handling tools/update web site
index
3c33d49
..
9943900
100755
(executable)
--- a/
repository handling tools/update web site
+++ b/
repository handling tools/update web site
@@
-2,7
+2,7
@@
# I use this script to update project website.
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -
e "'$0' T"
; exit; fi;
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -
- "$0" T
; exit; fi;
cd ..