diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2018-07-03 10:16:31 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2018-07-03 10:16:31 -0300 |
commit | b7311dc95f4fb020580be7be7d5c0e8a278e326b (patch) | |
tree | a7e6348340502f2505e4e32ba58e85c1af55ae93 /lib/hydra/config | |
parent | df332569de1162bd9a4deeb4c2c5271cbfdee6ad (diff) | |
download | hydra-b7311dc95f4fb020580be7be7d5c0e8a278e326b.tar.gz hydra-b7311dc95f4fb020580be7be7d5c0e8a278e326b.tar.bz2 |
Provision improvements and fixes
Diffstat (limited to 'lib/hydra/config')
-rw-r--r-- | lib/hydra/config | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/hydra/config b/lib/hydra/config index 5390159..da49ec7 100644 --- a/lib/hydra/config +++ b/lib/hydra/config @@ -83,3 +83,14 @@ function hydra_bootstrap_config { make config ) } + +# Get a configuration parameter if not previously defined by a sourced file +function hydra_user_config { + local param="$1" + local default="$2" + shift 2 + + if [ -z "`eval echo '$'$param`" ]; then + hydra_user_input $param $default $* + fi +} |