Lines Matching full:terminal
1120 // gnome-terminal "helpfully" sets http_proxy and no_proxy, and it
