diff options
Diffstat (limited to 'include/profiles')
| -rw-r--r-- | include/profiles | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/profiles b/include/profiles index b191ff2d..81c56a50 100644 --- a/include/profiles +++ b/include/profiles @@ -207,6 +207,15 @@ AddSetting "quick" "${SETTING_QUICK_MODE}" "Quick mode (non-interactive)" ;; + # Refresh software repositories + refresh-repositories) + SETTING_REFRESH_REPOSITORIES=1 # default is yes + FIND=$(echo "${VALUE}" | egrep "^(0|false|no)$") && REFRESH_REPOSITORIES=0 + if [ ! -z "${FIND}" ]; then SETTING_REFRESH_REPOSITORIES=0; fi + Debug "Refreshing repositories set to ${SETTING_REFRESH_REPOSITORIES}" + AddSetting "refresh-repositories" "${SETTING_REFRESH_REPOSITORIES}" "Refresh repositories (for vulnerable package detection)" + ;; + # Inline tips about tool (default enabled) show_tool_tips | show-tool-tips) SETTING_SHOW_TOOL_TIPS=1 # default is yes |