projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
aggiunto skin per i bottoni
[brisk.git]
/
INSTALL.sh
diff --git
a/INSTALL.sh
b/INSTALL.sh
index
5de395e
..
9ba9471
100755
(executable)
--- a/
INSTALL.sh
+++ b/
INSTALL.sh
@@
-17,15
+17,14
@@
fi
function usage () {
echo
echo "$1 -h"
function usage () {
echo
echo "$1 -h"
- echo "$1 [-W] [-n 3|5] [-d TRUE|FALSE] [-w web_dir] [-k <ftok_dir>] [-c <cookie_path>]
[-W]
"
+ echo "$1 [-W] [-n 3|5] [-d TRUE|FALSE] [-w web_dir] [-k <ftok_dir>] [-c <cookie_path>]"
echo " -h this help"
echo " -W web files only"
echo " -h this help"
echo " -W web files only"
- echo " -n number of players - def. $n_players"
- echo " -d activate dabug - def. $brisk_debug"
+ echo " -n number of players
- def. $n_players"
+ echo " -d activate dabug
- def. $brisk_debug"
echo " -w dir where place the web tree - def. \"$web_path\""
echo " -k dir where place ftok files - def. \"$ftok_path\""
echo " -w dir where place the web tree - def. \"$web_path\""
echo " -k dir where place ftok files - def. \"$ftok_path\""
- echo " -c cookie path - def. \"$cookie_path\""
- echo " -W install web files only"
+ echo " -c cookie path - def. \"$cookie_path\""
echo
}
echo
}