AIR apps and HTTP proxies on Linux

With the alpha build of AIR on Linux, setting up an HTTP proxy for use by AIR applications requires exporting environment variables AIR_PROXY_SERVER and AIR_PROXY_PORT with appropriate values.
We intend to do away with this and use something that’s standard on Linux. The problem is that there is no standard. GNOME and KDE use different mechanisms. Individual applications use their own mechanisms.
We’ve decided to use the current desktop environment’s proxy settings, with the option of having these overridden with an environment variable.
On KDE, proxy settings can be set using kcontrol (KDE Control Center). On GNOME, these can be set using gnome-network-preferences (or directly using gconf-editor). The following gconf keys are involved:
a) /system/proxy/mode – A non-’none’ value indicates that a proxy has been set (recommended value = “manual”)
b) /system/http_proxy/host
c) /system/http_proxy/port
Most browsers too use these values to figure out system proxy settings.
These settings can be overridden with an environment variable http_proxy (with its value in the format http://hostname:port). This variable is the most common one used by applications on Linux. apt-get and wget, for instance, use it.
I’m looking forward to freedesktop.org’s shared configuration system as one standard, desktop-agnostic mechanism for managing such per-user configuration settings. (It’s currently in the planning/requirements-gathering stage.)