This is obviously easy to fix, I just want to understand it. I know Linux, but I'm not very familiar with Ubuntu.
gnome-terminal is getting environment variables that other terminals (xterm, rxvt-unicode, Linux console) are not. In particular, gnome-terminal gets
all_proxy, and all caps versions of those. Those variables are not in