2018 February Release

Proxy SettingsPermanent link for this heading

GeneralPermanent link for this heading

We support the default method for defining a proxy server on the appropriate operating system. On Windows, this configuration can be done in the „Internet Options“, on macOS Sierra this could be done in the “System Settings -> Network -> Proxies”. On Ubuntu, this configuration has to be done via environment variables

export http_proxy=http://your.proxy.server:port/

export https_proxy=https://your.proxy.server:port/


Automatic Proxy ConfigurationPermanent link for this heading

For security reasons we only support the automatic proxy configuration via the direct configuration of the Proxy-Auto-Config URL (PAC-URL). We do not support automatically retrieving this URL via Web Proxy Autodiscovery Protocol.

We first look for a proxy server bypass configuration, then for a manually configured proxy server. If theres no bypass and no manually proxy server configuration we evaluate the PAC URL.

Our fallback for every error or misconfiguration is a direct connection to the server.

This file will be evaluated every 30 minutes and additionally on a change of the system configuration, except on Ubuntu, there you have to restart the system.

If the URL or any proxy server evaluated from the URL is not reachable it will be ignored for the next 30 minutes.

If the script delivered from the PAC URL hangs or needs longer than 5 seconds, we abort the evaluation.