#!/bin/bash OFFLINE=false UPDATE_MIRROR=false for var in "$@" do if [ "x$var" == "x--offline" ]; then OFFLINE=true elif [ "x$var" == "x--update-mirror" ]; then UPDATE_MIRROR=true fi done if [ -d "/opt/rjkbin" ]; then echo "Error: This should *not* be run on the server that has the master copy." exit 1 fi if [ -f ~/.config/EnlivenMinetest/settings.rc ]; then source ~/.config/EnlivenMinetest/settings.rc else >&2 echo "No ~/.config/EnlivenMinetest/settings.rc, using defaults." fi DEFAULT_MINEBEST_HOST=mtio if [ -z "$MINEBEST_HOST" ]; then MINEBEST_HOST=$DEFAULT_MINEBEST_HOST fi echo "MINEBEST_HOST=$MINEBEST_HOST" code= if [ ! -d "/opt/minebest" ]; then cat <