--- version: 1.1 proxy: manual: description: Manual proxy configuration disabled: type: jinja jinja: | {% if _.proxy.proxy_mode != 'Manual proxy configuration' %} the proxy mode is not manual {% endif %} description: if proxy_mode is not "manual proxy configuration" http_proxy: # HTTP Proxy address: description: HTTP address type: domainname port: description: HTTP Port type: port default: '8080' use_for_https: true # Also use this proxy for HTTPS ssl_proxy: description: HTTPS Proxy type: family hidden: type: variable variable: proxy.manual.use_for_https address: description: HTTPS address type: domainname default: type: jinja jinja: | {% if __.use_for_https %} {{ __.http_proxy.address }} {% endif %} description: | copy HTTP address if HTTPS proxy is declared to be the same as HTTP port: description: HTTPS Port type: port default: type: jinja jinja: | {{ __.http_proxy.port }} description: | copy HTTP port socks_proxy: description: SOCKS Proxy mode: advanced address: description: SOCKS Address type: domainname port: description: SOCKS Port type: port version: description: SOCKS host version used by proxy choices: - v4 - v5 default: v5