2009-08-31 15:23:13 +02:00
|
|
|
#
|
|
|
|
# Copyright (c) 2007, Mario Fetka <mario-fetka@gmx.at>
|
|
|
|
#
|
|
|
|
# Licensed under the GNU General Public License, v2
|
|
|
|
|
|
|
|
dotibmdir="${HOME}/.ibm"
|
|
|
|
jpingcfg="${dotibmdir}/JPing.ini"
|
|
|
|
|
|
|
|
|
|
|
|
create_initial_config() {
|
|
|
|
if [[ ! -e "${dotibmdir}" ]] ; then
|
|
|
|
mkdir "${dotibmdir}"
|
|
|
|
echo "Creating ${dotibmdir}"
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Creating ${jpingcfg}"
|
|
|
|
|
|
|
|
# Create the config file
|
|
|
|
cat > "${jpingcfg}" <<END
|
|
|
|
-- listing properties --
|
|
|
|
JPingScheduledMinutes=0
|
|
|
|
JPingHttpProxyHost=
|
|
|
|
JPingSocksProxyPort=1080
|
|
|
|
EnableProxy=NONE
|
|
|
|
JPingSocksProxyHost=
|
|
|
|
MsgNotification=false
|
2010-05-09 10:20:24 +02:00
|
|
|
xServer1=www.disconnected-by-peer.at
|
2009-08-31 15:23:13 +02:00
|
|
|
JPingHttpProxyPort=8080
|
|
|
|
END
|
|
|
|
}
|
|
|
|
|
|
|
|
[[ ! -e "${jpingcfg}" ]] && create_initial_config
|