- updating current terminal's shell env proxy settings, or
- wrapping exec in
.desktopfiles to inject env proxy settings
GNOME proxy settings should normally get propergated into the shell (bash) environment via gnome-terminal, e.g.
- I noticed that applications exectuted via
.desktopentries 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.