Proxy/text/shared/optionen/01020100.xhpsettings; proxiesproxy settingsProxyProxy servers for accessing the Internet can be set up manually as needed.SettingsDefines the settings for the proxy server.Proxy serverSpecifies the type of proxy definition.NoneAccesses the Internet without a proxy server. Allows you to set up a connection directly on your computer to an Internet provider that does not use a proxy.ManualLets you enter the proxy server manually. Specify the proxy servers in accordance with your Internet service. Ask your system administrator for the proxies and ports to enter.Type server names without the protocol prefix. For example, type www.example.com, not http://www.example.com.SystemOn Windows or UNIX systems using GNOME or KDE, this option tells %PRODUCTNAME to use the system settings. You must restart %PRODUCTNAME to initiate this setting.UFI: see spec "System-Settings"HTTP proxyType the name of the proxy server for HTTP. Type the port in the right-hand field.HTTPS proxyType the name of the proxy server for HTTPS. Type the port in the right-hand field.FTP proxyType the name of the proxy server for FTP. Type the port in the right-hand field.No proxy forSpecifies the names of the servers that do not require any proxy servers, separated by semicolons. These are servers addressed in your local network, and servers used for video and audio streaming, for example.You can also use placeholders for the names of hosts and domains. For example, type *.sun.com to address all the hosts in the sun.com domain without proxy.PortType the port for the corresponding proxy server. The maximum value of a port number is fixed at 65535.