2024-10-23 20:01:28 +02:00
|
|
|
---
|
|
|
|
|
manual:
|
|
|
|
|
|
|
|
|
|
use_for_https:
|
|
|
|
|
description: Also use this proxy for HTTPS
|
|
|
|
|
default: true
|
2024-10-23 20:01:31 +02:00
|
|
|
|
|
|
|
|
https_proxy:
|
|
|
|
|
description: HTTPS Proxy
|
2024-10-23 20:01:33 +02:00
|
|
|
hidden:
|
|
|
|
|
variable: manual.use_for_https
|
2024-10-23 20:01:31 +02:00
|
|
|
|
|
|
|
|
address:
|
|
|
|
|
description: HTTPS address
|
2024-10-23 20:01:35 +02:00
|
|
|
default:
|
|
|
|
|
variable: manual.http_proxy.address
|
2024-10-23 20:01:31 +02:00
|
|
|
|
|
|
|
|
port:
|
|
|
|
|
description: HTTPS Port
|
2024-10-23 20:01:35 +02:00
|
|
|
default:
|
|
|
|
|
variable: manual.http_proxy.port
|
