Add shell.sh

This commit is contained in:
Tom Wiesing 2020-07-07 12:13:28 +02:00
parent e63c393216
commit 85a717274c
No known key found for this signature in database
GPG key ID: DC1F29F2BC78AB15
4 changed files with 56 additions and 22 deletions

View file

@ -20,12 +20,14 @@ function require_slug_argument() {
fi
log_info " => Deriving configuration for '$SLUG'. "
echo "Domain Name: $INSTANCE_DOMAIN"
echo "Base Directory: $INSTANCE_BASE_DIR"
echo "MySQL User: $MYSQL_USER"
echo "MySQL Database: $MYSQL_DATABASE"
echo "GraphDB User: $GRAPHDB_USER"
echo "GraphDB Repository: $GRAPHDB_REPO"
if [ ! -n "DISABLE_LOG" ]; then
echo "Domain Name: $INSTANCE_DOMAIN"
echo "Base Directory: $INSTANCE_BASE_DIR"
echo "MySQL User: $MYSQL_USER"
echo "MySQL Database: $MYSQL_DATABASE"
echo "GraphDB User: $GRAPHDB_USER"
echo "GraphDB Repository: $GRAPHDB_REPO"
fi
}
# Read the slug argument.