[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: |
Rik |
Subject: |
[Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10 |
Date: |
Thu, 19 Jul 2018 11:45:33 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:61.0) Gecko/20100101 Firefox/61.0 |
Update of bug #52369 (project octave):
Release: 4.2.1 => 4.4.0
_______________________________________________________
Follow-up Comment #11:
You can put the command to set the proxy server in to your .octaverc file
which is executed at startup. At least that way you won't have to type it in
every time.
For the Community News, I don't see what more can be done. For whatever
reason, the combination of operating system, network settings, and Octave
cannot be made to work. On the positive side, there is not much reported on
Community News besides the release of new versions.
_______________________________________________________
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, 2018/07/19
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10,
Rik <=
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/19