Skip to content

Instantly share code, notes, and snippets.

View nlpsuge's full-sized avatar

m^n nlpsuge

18 followers · 38 following
View GitHub Profile
@nlpsuge
nlpsuge / gnome_proxy_to_env.md
Created April 11, 2019 16:15 — forked from JPvRiel/gnome_proxy_to_env.md
a shell wrapper to pull org.gnome.proxy settings into env, e.g. http_proxy, which is useful for .desktop files

Why?

Useful for:

  • updating current terminal's shell env proxy settings, or
  • wrapping exec in .desktop files to inject env proxy settings

GNOME proxy settings should normally get propergated into the shell (bash) environment via gnome-terminal, e.g. http_proxy and no_proxy. However:

  • I noticed that applications exectuted via .desktop entries sometimes don't work. This happens when an app ignores org.gnome.proxy settings but can often use proxy env vars from the shell.
  • If you're proxy settings change, existing shell processes will still have the old proxy enviroment variables, so this can help refresh them whithout having to create a new shell.