projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
allignment pre merge in master
[brisk.git]
/
INSTALL.sh
diff --git
a/INSTALL.sh
b/INSTALL.sh
index
862f27f
..
6b3e35c
100755
(executable)
--- a/
INSTALL.sh
+++ b/
INSTALL.sh
@@
-6,7
+6,7
@@
players_n=3
tables_n=16
tables_auth_n=6
players_n=3
tables_n=16
tables_auth_n=6
-brisk_auth_conf="brisk_auth.conf.pho"
+brisk_auth_conf="brisk_auth
2
.conf.pho"
brisk_debug="0xffff"
web_path="$HOME/brisk"
legal_path="$HOME/brisk-priv"
brisk_debug="0xffff"
web_path="$HOME/brisk"
legal_path="$HOME/brisk-priv"
@@
-15,8
+15,8
@@
proxy_path="$HOME/brisk-priv/proxy"
web_only="FALSE"
brisk_conf="brisk.conf.pho"
web_only="FALSE"
brisk_conf="brisk.conf.pho"
-if [ -f $HOME/.
trusty
_install ]; then
- . $HOME/.
trusty
_install
+if [ -f $HOME/.
brisk
_install ]; then
+ . $HOME/.
brisk
_install
fi
if [ "x$cookie_path" = "x" ]; then
cookie_path=$web_path
fi
if [ "x$cookie_path" = "x" ]; then
cookie_path=$web_path