Merge pull request #6690 from filecoin-project/fix-gate-dollar

add dollar sign
This commit is contained in:
Łukasz Magiera 2021-07-06 22:56:42 +02:00 committed by GitHub
commit 88c578bc54
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 4 additions and 4 deletions

View File

@ -6,7 +6,7 @@
GATE="$LOTUS_PATH"/date_initialized
# Don't init if already initialized.
if [ -f "GATE" ]; then
if [ -f "$GATE" ]; then
echo lotus already initialized.
exit 0
fi

View File

@ -6,7 +6,7 @@
GATE="$LOTUS_PATH"/date_initialized
# Don't init if already initialized.
if [ -f "GATE" ]; then
if [ -f "$GATE" ]; then
echo lotus already initialized.
exit 0
fi

View File

@ -6,7 +6,7 @@
GATE="$LOTUS_PATH"/date_initialized
# Don't init if already initialized.
if [ -f "GATE" ]; then
if [ -f "$GATE" ]; then
echo lotus already initialized.
exit 0
fi

View File

@ -6,7 +6,7 @@
GATE="$LOTUS_PATH"/date_initialized
# Don't init if already initialized.
if [ -f "GATE" ]; then
if [ -f "$GATE" ]; then
echo lotus already initialized.
exit 0
fi