[Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10

[Rik]

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/