|
|
games.strategy.engine.framework.GameRunner | games.strategy.engine.framework.GameRunner |
EOF | EOF |
| |
|
# The default savedGames directory is in the install root. This |
|
# sets it to use the users home directory. |
|
cat >"data/triplea.properties"<<-EOF |
|
triplea.saveGamesInHomeDir=true |
|
EOF |
|
|
# Repair bad path in .ant.properties (bug #47437) | # Repair bad path in .ant.properties (bug #47437) |
sed -i \ | sed -i \ |
-e "/^junit.jar/s:=.*:=/usr/share/junit/lib/junit.jar:" \ | -e "/^junit.jar/s:=.*:=/usr/share/junit/lib/junit.jar:" \ |