--- version: 1.1 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 the value of "proxy.proxy_mode" is not "Manual proxy configuration" http_proxy: # HTTP Proxy address: description: HTTP address type: domainname params: allow_ip: true 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