Clarification on the mediagoblin.ini copying
This commit is contained in:
parent
ba12976d1a
commit
ae8d42f59c
@ -100,6 +100,8 @@ fi
|
|||||||
|
|
||||||
# If the user somehow doesn't have a mediagoblin.ini
|
# If the user somehow doesn't have a mediagoblin.ini
|
||||||
# (maybe they aren't using make) give them one
|
# (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 ] && \
|
if [ -f mediagoblin.example.ini ] && \
|
||||||
[ ! -f mediagoblin.ini ]; then
|
[ ! -f mediagoblin.ini ]; then
|
||||||
echo "No mediagoblin.ini found, making one";
|
echo "No mediagoblin.ini found, making one";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user