diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/setup/Kconfig | 10 | ||||
| -rw-r--r-- | config/setup/ptxdistrc.default | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/config/setup/Kconfig b/config/setup/Kconfig index 266e94298..5ca7786eb 100644 --- a/config/setup/Kconfig +++ b/config/setup/Kconfig @@ -56,6 +56,16 @@ config SETUP_HTTP_PROXY http://your.proxy.org:80 +config SETUP_HTTPS_PROXY + prompt "HTTPS Proxy" + string + default "" + help + If you have to use a proxy for HTTP transfers, please add the + proxy URL here. Example: + + http://your.proxy.org:80 + endmenu menu "Project Searchpath" diff --git a/config/setup/ptxdistrc.default b/config/setup/ptxdistrc.default index 53fbaf6f6..6cedfe5f4 100644 --- a/config/setup/ptxdistrc.default +++ b/config/setup/ptxdistrc.default @@ -18,6 +18,7 @@ PTXCONF_SETUP_USER_EMAIL="" # PTXCONF_SETUP_FTP_PROXY="" PTXCONF_SETUP_HTTP_PROXY="" +PTXCONF_SETUP_HTTPS_PROXY="" # # Project Searchpath |