More changes for shell linting

Are these improvements? well...
This commit is contained in:
Jamieson Becker 2018-11-15 23:19:31 -06:00 committed by GitHub
parent 8f8a47a0d5
commit abf4de909e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions

View File

@ -1,4 +1,7 @@
#! /usr/bin/env sh -ex #! /usr/bin/env sh
set -e
set x
cat <<EOF cat <<EOF
This script will completely wipe your database, including all users, chat This script will completely wipe your database, including all users, chat
@ -16,7 +19,7 @@ if [ "x$yesno" != "xYES" ]; then
exit 1; exit 1;
fi fi
if [[ $EUID -ne 0 ]]; then if [ "$(id -u)" -ne "0" ]; then
>&2 echo "Exiting because root is not available." >&2 echo "Exiting because root is not available."
exit 1 exit 1
fi fi