query: gnome-terminal not working with `Error contructing proxy..`
positive_passages.docid: 8461
positive_passages.text: Gnome terminal will not start
negative_passages.docid: 440
negative_passages.text: In Windows 7, how to change proxy settings from command line?
negative_passages.docid: 80537
negative_passages.text: "exec: gnome-session: not found" when logging in using lightdm
negative_passages.docid: 52273
negative_passages.text: How do I set system-wide proxy servers in Xubuntu, Lubuntu or Ubuntu Studio?
negative_passages.docid: 119144
negative_passages.text: Going from Ubuntu 16.04 to 18.04, GNOME not working properly
negative_passages.docid: 10360
negative_passages.text: Error message "sudo: unable to resolve host (none)"
negative_passages.docid: 76803
negative_passages.text: gnome-shell-extensions-user-theme won't install due to unmet dependencies
negative_passages.docid: 28372
negative_passages.text: What is the correct way to use git with gnome-keyring and http(s) repos?
negative_passages.docid: 57717
negative_passages.text: Proxy Blocking apt-get, Allowing wget/curl
negative_passages.docid: 61019
negative_passages.text: Avoid gnome-terminal close after script execution?
negative_passages.docid: 20078
negative_passages.text: Gnome Software Center Not Loading
negative_passages.docid: 96145
negative_passages.text: Cannot Add PPA Behind Proxy Ubuntu 14.04
negative_passages.docid: 77794
negative_passages.text: How to set `umask` for the entire gnome session?
negative_passages.docid: 63797
negative_passages.text: dpkg-deb: error: subprocess paste was killed by signal (Broken pipe) nginx
negative_passages.docid: 29816
negative_passages.text: gnome-terminal instantly closes after messing with the profile settings
negative_passages.docid: 40641
negative_passages.text: What should be used instead of the deprecated gnome-open in Ubuntu 18.04?
negative_passages.docid: 69969
negative_passages.text: How do I configure proxies without GUI?