With the help of the "Ubuntu phone" community on Launchpad (see here), I was able to set my system proxy settings via the 'gsettings set' command (identically to the working settings on my Ubuntu 14.04 desktop systems):
gsettings set org.gnome.system.proxy use-same-proxy false
gsettings set org.gnome.system.proxy mode "'manual'"
gsettings set org.gnome.system.proxy ignore-hosts "['localhost', '127.0.0.0/8', '192.168.0.0/16', '::1']"
gsettings set org.gnome.system.proxy.ftp host "'192.168.112.1'"
gsettings set org.gnome.system.proxy.ftp port 800
gsettings set org.gnome.system.proxy.socks host "'192.168.112.1'"
gsettings set org.gnome.system.proxy.socks port 800
gsettings set org.gnome.system.proxy.http host "'192.168.112.1'"
gsettings set org.gnome.system.proxy.http port 800
gsettings set org.gnome.system.proxy.http use-authentication false
gsettings set org.gnome.system.proxy.http enabled true
gsettings set org.gnome.system.proxy.https host "'192.168.112.1'"
gsettings set org.gnome.system.proxy.https port 800
Those proxy settings are currently not used by the browser app through and I have requested this feature accordingly (see here).
Addition from 2015-05-07 (also documented here - sorry, I am not allowed to include another link, my reputation is too low):
I think I made the bowser app work with the proxy. I was actually trying
to enable command line apps like wget to work via proxy and added to
/etc/environment
http_proxy=http://192.168.112.1:800/
https_proxy=http://192.168.112.1:800/
ftp_proxy=http://192.168.112.1:800/
no_proxy="localhost,127.0.0.1,192.168.0.0/16"
HTTP_PROXY=http://192.168.112.1:800/
HTTPS_PROXY=http://192.168.112.1:800/
FTP_PROXY=http://192.168.112.1:800/
NO_PROXY="localhost,127.0.0.1,192.168.0.0/16"
After that, I was able to run wget for the first time successfully:
phablet@ubuntu-phablet:~$ wget www.spiegel.de
--2015-05-07 10:09:33-- http://www.spiegel.de/
Connecting to 192.168.112.1:800... connected.
Proxy request sent, awaiting response... 200 OK
Length: 233514 (228K) [text/html]
Saving to: ‘index.html’
100%[======================================>] 233,514 400KB/s in 0.6s
2015-05-07 10:09:34 (400 KB/s) - ‘index.html’ saved [233514/233514]
By coincidence, I found out that the browser app also seems to pick this
configuration up successfully and the browser started to work with the
proxy.
I have now three different types of proxy configurations on my phone:
- via gsettings, see my earlier e-mails - not sure if this has
currently an effect on any application
- via /etc/environment for certain command line applications and
seemingly the browser
- via 95proxies in /etc/apt/apt.conf.d/ for apt
I am now testing if other apps actually up one of those configuration
types. "Shorts" (the RSS app) for example seems not to work still.
Addition from 2015-05-07:
Syncevolution is seemingly picking up the proxy information from type 2) as well. Quite important for me as I am using it to sync calendar and contact data with an owncloud server.
