From 0febb1b8b88d8070c8b8eb654ad0db8a758c23de Mon Sep 17 00:00:00 2001 From: R0GGER Date: Thu, 8 Nov 2018 20:10:42 +0100 Subject: [PATCH] Create preferences.bash --- preferences.bash | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 preferences.bash diff --git a/preferences.bash b/preferences.bash new file mode 100644 index 0000000..b134aef --- /dev/null +++ b/preferences.bash @@ -0,0 +1,14 @@ +supported_downloaders="aria2c wget" +proxy_server="" +secure_proxy_server="" +no_proxy_server="" +prefer_seconly="disabled" +check_for_self_updates="enabled" +unattended_updates="enabled" +include_win_glb="enabled" +use_file_signature_verification="disabled" +use_integrity_database="enabled" +use_cleanup_function="enabled" +debug="disabled" +exit_on_configuration_problems="enabled" +return 0