diff options
Diffstat (limited to 'spearmint-server.launcher')
| -rwxr-xr-x | spearmint-server.launcher | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/spearmint-server.launcher b/spearmint-server.launcher index 695d38742e9b..365dbf805a41 100755 --- a/spearmint-server.launcher +++ b/spearmint-server.launcher @@ -1,4 +1,15 @@ #!/bin/bash +OLDDIR=${HOME}/.spearmint +NEWDIR=${HOME}/.local/share/spearmint + +if [ -d "${OLDDIR}" ]; +then + if [ ! -f "${OLDDIR}/.nomove" ]; + then + mv ${OLDDIR} ${NEWDIR} + fi +fi + cd /opt/spearmint /opt/spearmint/spearmint-server +set sv_pure 0 ${*} |