[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows
From: |
Elvira D. Antal |
Subject: |
[Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10 |
Date: |
Thu, 19 Jul 2018 08:47:11 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:61.0) Gecko/20100101 Firefox/61.0 |
Follow-up Comment #10, bug #52369 (project octave):
pkg -forge list
works with IP address, and also with the URL of the proxy server.
(But I need to set the proxy by the putenv/setenv command at every restart of
Octave, as I wrote below.)
News/Community News does not ("Octave's community news source seems to be
unavailable."), even if I use the menus.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?52369>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/11
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Elvira D. Antal, 2018/07/12
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/12
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Elvira D. Antal, 2018/07/16
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/17
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Elvira D. Antal, 2018/07/18
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/18
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10,
Elvira D. Antal <=
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/19
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/19