add CONFIGFILE and .brosk_install config file

diff --git a/INSTALL.sh b/INSTALL.sh
index a82e530..e2f2b51 100755 (executable)
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -3,17 +3,22 @@
 #
 # Defaults
 #
+CONFIG_FILE="$HOME/.brosk_install"
+
 players_n=3
-tables_n=16
-tables_auth_n=6
-brisk_auth_conf="brisk_auth2.conf.pho"
-brisk_debug="0xffff"
-web_path="$HOME/brisk"
-legal_path="$HOME/brisk-priv"
-ftok_path="$HOME/brisk-priv/ftok"
-proxy_path="$HOME/brisk-priv/proxy"
+tables_n=44
+tables_auth_n=12
+brisk_auth_conf="brosk_auth.conf.pho"
+brisk_debug="0x0400"
+# brisk_debug="0xffff"
+web_path="/home/nastasi/web/brosk"
+ftok_path="/home/nastasi/brisk-priv/ftok/brosk"
+proxy_path="/home/nastasi/brisk-priv/proxy/brosk"
+legal_path="/home/nastasi/brisk-priv/brosk"
+cookie_path="/brosk/"
+brisk_conf="brosk.conf.pho"
 web_only="FALSE"
-brisk_conf="brisk.conf.pho"
+
 
 if [ "$1" = "chk" ]; then
     set -e
@@ -49,8 +54,8 @@ if [ "$1" = "pkg" ]; then
     exit 0
 fi
     
-if [ -f $HOME/.brisk_install ]; then
-   . $HOME/.brisk_install
+if [ -f "$CONFIG_FILE" ]; then
+   source "$CONFIG_FILE"
 fi
 
 if [ "x$cookie_path" = "x" ]; then