diff options
author | brent s | 2017-11-12 11:20:56 -0500 |
---|---|---|
committer | brent s | 2017-11-12 11:20:56 -0500 |
commit | bc427871ee761098083e9b9c60c49928dbf2f061 (patch) | |
tree | d7a9646aafdced05f965099c7310fa96e7004bb1 /spearmint-server.launcher | |
parent | a852d0d54d9b31e7f4251166729964f66d2e68be (diff) | |
download | aur-bc427871ee761098083e9b9c60c49928dbf2f061.tar.gz |
vast improvements/suggestions from upstream - thanks, zack!
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 ${*} |