Use long name of Bash options

GrabbenD · Dec 10, 2023 · 7c22dce · 7c22dce
1 parent 771a749
commit 7c22dce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ostree.sh b/ostree.sh
@@ -6,7 +6,7 @@ set -o nounset   # Error on unset variables
 # [ENVIRONMENT]: OVERRIDE DEFAULTS
 function ENV_CREATE_OPTS {
     if [[ ${CLI_QUIET:-} != 1 ]]; then
-        set -x # Print executed commands while performing tasks
+        set -o xtrace # Print executed commands while performing tasks
     fi
 
     if [[ ! -d '/ostree' ]]; then