Mercurial > repos > IBBoard.WarFoundry.GUI.GTK
changeset 153:87fda1e6d4d3
* Merge accidental new head
| author | IBBoard <dev@ibboard.co.uk> |
|---|---|
| date | Tue, 08 May 2012 21:01:57 +0100 |
| parents | b612d7137f4d (diff) 83b19b57cba1 (current diff) |
| children | c549fd4ff4bf |
| files | |
| diffstat | 1 files changed, 18 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/WarFoundry.sh Sat Mar 17 20:05:26 2012 +0000 +++ b/WarFoundry.sh Tue May 08 21:01:57 2012 +0100 @@ -1,2 +1,19 @@ #! /bin/bash -mono WarFoundry-GTK.exe $@ + +command -v mono >/dev/null 2>&1 +if [[ $? != 0 ]]; then + ##TODO Try using Zenity or similar, in case the user is running from a GUI and not seeing our output + echo "WarFoundry requires Mono to run - please install it from your package manager" >&2 + exit 3 +fi + +MONO_ARGS='' + +command -v lsb_release >/dev/null 2>&1 +if [[ $? == 0 ]]; then + if [[ `lsb_release -is` == "Ubuntu" && `lsb_release -rs` > 12 ]]; then + MONO_ARGS=' --runtime=v4.0' + fi +fi + +mono $MONO_ARGS WarFoundry-GTK.exe $@