diff options
| -rwxr-xr-x | lazystarter.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lazystarter.sh b/lazystarter.sh index 286baeb6..98362794 100755 --- a/lazystarter.sh +++ b/lazystarter.sh @@ -100,6 +100,8 @@ fi # If the user somehow doesn't have a mediagoblin.ini # (maybe they aren't using make) give them one +# ... this doesn't fulfill all conditions maybe, but is a stopgap +# that doesn't have noticable race conditions if [ -f mediagoblin.example.ini ] && \ [ ! -f mediagoblin.ini ]; then echo "No mediagoblin.ini found, making one"; |