Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docs: Add Gnome proxy settings user guide #554

Merged
merged 5 commits into from
Oct 16, 2024
Merged

Docs: Add Gnome proxy settings user guide #554

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
be05d60
chore: add linux gnome proxy settings user guide
emmanuelgautier Sep 21, 2024
c6f7753
chore: add more specific instructions for gnome proxy settings
emmanuelgautier Sep 22, 2024
e0e9540
chore: update changelog
emmanuelgautier Sep 23, 2024
5f91efb
chore: update unreleased changelog
emmanuelgautier Sep 24, 2024
ba9d6f5
Address review comment
thc202 Oct 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions addOns/help/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).

## Unreleased

- Add Gnome proxy settings user guide
thc202 marked this conversation as resolved.
Show resolved Hide resolved
thc202 marked this conversation as resolved.
Show resolved Hide resolved

## [18] - 2024-05-07
### Added
Expand Down
12 changes: 12 additions & 0 deletions addOns/help/src/main/javahelp/contents/start/proxies.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -113,6 +113,18 @@ <H3>OS X System Proxy settings</H3>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Press the</td><td> Network Options 'Apply' button</td></tr>
</table>

<H3>Linux Gnome Proxy settings</H3>

<table>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Press the</td><td> 'Gnome Settings' in the top corner</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Select the</td><td> 'Network' item in the left</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Enter in the</td><td> 'Proxy' in the 'Proxy' section</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Press the</td><td> 'Network Proxy' toggle</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Select</td><td> 'Manual' in the 'Configuration' dropdown</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Enter in the</td><td> HTTP (or HTTPs) Proxy 'URL' field the 'URL' you configured in the options screen</td></tr>
<tr><td>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>Enter in the</td><td> HTTP (or HTTPs) Proxy 'Port' field the 'Port' you configured in the options screen</td></tr>
</table>

<H3>Windows LAN Settings</H3>

<table>
Expand Down