[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: |
Wed, 18 Jul 2018 12:14:24 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:61.0) Gecko/20100101 Firefox/61.0 |
Follow-up Comment #9, bug #52369 (project octave):
This may not be resolvable. The finaly thing to try would be to use the URL,
rather than the IP address of it, in the environment variable https_proxy.
The code should be
setenv ('https_proxy', 'https://THE_URL_OF_YOUR_PROXY:PORT_NUMBER')
For example, if the proxy was called "proxy_A" and the port was 5000 then the
full command would be
setenv ('https_proxy', 'https://proxy_A:5000')
To test, start with
pkg -forge list
If that starts to return data then you can interrupt it with Ctrl+C. The next
step would be to use the menus and try News/Community News and see if it
returns anything.
_______________________________________________________
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 <=
- [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, 2018/07/19
- [Octave-bug-tracker] [bug #52369] proxy settings do not work at Windows 10, Rik, 2018/07/19