|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10 |
Date: | Thu, 12 Jul 2018 13:11:57 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:61.0) Gecko/20100101 Firefox/61.0 |
Follow-up Comment #5, bug #52369 (project octave): The proxy set in Edit/Preferences/Network in the GUI does not seem to be used which is a bug. Can you try starting a new session of Octave and immediately executing setenv ('https_proxy', '123.12.123.1:8080') and then using the menu for News/Community News? Note that the change from your previous code in comment #4 was to drop the slash '/' at the end of the proxy. I don't think that is a valid character. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?52369> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |