diff --git a/config/show_config b/config/show_config old mode 100644 new mode 100755 index f97a2bb6ac..48d17afa7a --- a/config/show_config +++ b/config/show_config @@ -1,3 +1,5 @@ +#!/bin/bash + show_config() { # load graphic configuration get_graphicdrivers @@ -115,3 +117,9 @@ show_config() { echo -e "$config_message" } + + +if [ "${FUNCNAME[0]}" = "main" ]; then + . config/options "" + show_config +fi