Proxy server

Basic Information

By using a proxy server, you can access off-campus web services from a private network within the university.

Server name (address)

proxy.uec.ac.jp

port

8080

Auto-configuration script (PAC) address

http://proxy.uec.ac.jp/proxy.pac

Automatic detection by WPAD (only on some supported OS)

Specify a domain containing uec.ac.jp as the DNS suffix by DHCP or manually.

The following campus networks can be accessed without going through a proxy server. However, access to some networks may be restricted by administrators.

UEC Global Network

  • 130.153.0.0/16

  • 192.50.30/23

In general, the following methods are available for proxy settings.

  • Automatic detection

    • This function detects the proxy settings and sets them automatically. This function works only if the proxy information is distributed by a DHCP server in your network.

  • autoconfiguration script

    • The proxy is set up by an automatic configuration script (PAC, Proxy Auto-Config) provided by the Information Technology Center. This function works in an environment that can connect to the web server of the Information Technology Center.

  • Manual configuration

    • Manually configure the proxy server. This method requires more settings than the other methods above, but it works stably in many environments. If the above autodetection or autoconfiguration script methods do not work, try this method.

Note

However, please note that the priority of these settings may be different depending on the OS or application, and some settings may not function effectively.

Configuration example

Settings for Microsoft Edge (Windows-wide settings)

Windows 10

How to open the settings screen

  1. From the Start menu (win10_windows), click the Settings icon (win10_settings).

../../_images/proxy-win10-openconfig-1.png

  1. Enter proxy (or proxy) in the entry field of the Windows Settings screen, and click Change proxy settings from the displayed items to open the proxy settings screen.

../../_images/proxy-win10-openconfig-2.png

\(\Downarrow\)

../../_images/proxy-win10-openconfig-3.png

Proxy setting screen

From here, proceed to the following steps depending on the configuration method. Refer to here for the different settings.

auto-detection

  1. (If you have not opened the proxy configuration window) How to open the configuration window, open the proxy configuration window.

  2. In the proxy settings screen, set Automatically detect settings to On. This completes the configuration.

../../_images/proxy-win10-edge-auto.png

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server** by referring to here in the red frame below.

../../_images/proxy_win10_reigai_01.png
autoconfiguration script

  1. (If you have not opened the proxy configuration window) How to open the configuration window, open the proxy configuration window.

  2. Set use setup script to on.

  3. Enter http://proxy.uec.ac.jp/ in the Script Address according to the contents of the Autoconfiguration PAC in Basics, and press the Save button directly above it. Press the save button.

../../_images/proxy-win10-edge-script.png

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server** by referring to here in the red frame below.

../../_images/proxy_win10_reigai_01.png
Manual setting

  1. (If you have not opened the proxy configuration window) Open the proxy configuration window according to How to open the configuration window.

  2. On the proxy settings screen, set Automatically detect settings to Off, and set Use proxy server to On below.

  3. Enter proxy.uec.ac.jp for the address and 8080 for the port according to Basic Information, and click the Save button. Click the Save button.

../../_images/proxy-win10-edge-manual.png

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server** by referring to here in the red frame below.

../../_images/proxy_win10_reigai_01.png

Settings for Internet Explorer (Windows-wide settings)

Windows 10

Please follow the same procedure as Setting for Microsoft Edge (Windows-wide).

Note

In Windows 10, there are two browsers that come with the OS: Microsoft Edge and Internet Explorer. Both browsers refer to the proxy settings to the entire Windows.

Configuration to Windows Update

Windows 10

Some Windows communication functions, such as Windows Update, rely on WinHTTP. When using a proxy for Windows Update, WinHTTP must be configured separately. The following describes the procedure for configuring WinHTTP proxies.

How to open a command prompt with administrator privileges

  1. Click the Start button ( win10_windows ), move the cursor to the command prompt in the Windows System Tools and right-click.

  2. Click Other and select Run as administrator .

../../_images/proxy_win_update-01.png

  1. Under “User Account Control,” “Do you want to allow this app to make changes to your device?” you can run the command prompt with administrator privileges.

Setup Method

  1. Launch a network shell with the following command

netsh

  1. Execute the following commands to configure WinHTTP.

winhttp

  1. Check the WinHTTP proxy settings.

show proxy

  1. Set proxy.uec.ac.jp:8080 with the following command.

set proxy proxy-server="proxy.uec.ac.jp:8080"

  1. Finally, the following command is used to confirm that the configuration is complete.

show proxy
../../_images/proxy_win_update-02.png

How to cancel settings

  1. Launch a network shell with the following command

netsh

  1. Execute the following commands to configure WinHTTP.

winhttp

  1. Check the WinHTTP proxy settings.

show proxy

  1. The following command removes the setting.

reset proxy

  1. Finally, the following command is used to confirm that the configuration is complete.

show proxy
../../_images/proxy_win_update-03.png

Settings to Safari (Settings to macOS network)

Safari refers to the information of the proxy server set up in the macOS network. The following explains the procedure for setting up a network proxy.

macOS

How to open the settings screen

  1. Click on the Apple menu (macos1012_applemenu) \(\Rightarrow\) Network Environment \(\Rightarrow\) Network Preferences to display the Network settings window. Click Network to display the Network configuration window.

../../_images/proxy-mac-openconfig-1.png

  1. Select Network configuration according to your network environment , and then select a network interface such as Wi-Fi. Then, click the Advanced button to display the proxy setting screen.

../../_images/proxy-mac-openconfig-2.png

\(\Downarrow\)

../../_images/proxy-mac-openconfig-3.png

Proxy setting screen

Then, proceed to the following steps depending on your configuration method. Refer to here for the different settings.

Note

The example settings and display will differ depending on the network you are using. Please select the network configuration and network interface according to your current network.

auto-detection

  1. (If you have not opened the proxy configuration screen) How to open the configuration screen, open the proxy configuration screen.

  2. On the proxy setting screen, select Automatic Proxy Detection and click the OK button.

../../_images/proxy-mac-auto.png

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server by referring to here in the red frame of the figure below.

../../_images/proxy-mac-reigai-01.png
autoconfiguration script

  1. (If you haven’t opened the proxy configuration screen) Open the Firefox proxy configuration screen according to How to open the configuration screen.

  2. On the proxy settings screen, select Automatic Proxy Configuration, enter http://proxy.uec.ac.jp/ in the Proxy Configuration File entry field according to Basic Information, and then click the OK button.

../../_images/proxy-mac-script.png

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server by referring to here in the red frame of the figure below.

../../_images/proxy-mac-reigai-01.png
Manual setting

  1. (If you haven’t opened the proxy configuration screen) Open the Firefox proxy configuration screen according to How to open the configuration screen.

  2. In the proxy screen settings, check all of the following , and follow Basic Information, and for all, enter proxy.uec.ac.jp in the server and 8080 in the input field to the right of it. server should be proxy.uec.ac.jp. Finally , press the OK button.

  • Web Proxy (HTTP)

  • protected web proxy (HTTPS)

  • FTP proxy

../../_images/proxy-mac-manual-http.png

Proxy settings for HTTP

../../_images/proxy-mac-manual-https.png

Proxy settings for HTTPS

../../_images/proxy-mac-manual-ftp.png

Proxy settings for FTP

Warning

You can access the campus site without going through a proxy server. If necessary, set the exceptions for the proxy server by referring to here in the red frame of the figure below.

../../_images/proxy-mac-reigai-01.png

Configuration to Google Chrome (Windows-wide or macOS network)

Windows 10

Please follow the same procedure as Setting for Microsoft Edge (Windows-wide).

macOS

Follow the same steps as Configuration for Safari (configuration for macOS network).

Setting up Firefox

How to open the settings screen

  1. Click the menu at the top right of the Firefox screen (firefox59_menu) \(\Rightarrow\) Options (or Settings) to open the settings screen.

../../_images/proxy-firefox-opensettings-1.png

  1. Click the Connection Settings button at the bottom of the setting screen to open the proxy setting screen.

../../_images/proxy-firefox-opensettings-2.png

\(\Downarrow\)

../../_images/proxy-firefox-opensettings-3.png

Proxy setting screen

You can then configure Firefox to proxy using one of the following either methods. Unless there is a specific reason not to, we recommend Refer to Windows-wide or macOS network settings.

  1. Refer to Windows-wide and macOS network settings.

  2. Configure Firefox independently.

Browse Windows-wide or macOS network settings

  1. (If you have not opened the proxy configuration screen) Open the proxy configuration screen according to How to open the configuration screen.

  2. On the proxy setting screen, select Use system proxy settings and click the OK button.

../../_images/proxy-firefox-system.png

  1. Depending on your OS, follow the same steps as Setting up Microsoft Edge (Windows-wide) or Setting up Safari (macOS network). Please follow the same procedure as Configuration for Safari (configuration for macOS network) to configure the proxy settings for the whole Windows or macOS network.

Configure Firefox to have independent settings

Follow the steps below depending on the configuration method. Refer to here for the different settings.

auto-detection

  1. (If you haven’t opened the proxy configuration window) Open the Firefox proxy configuration window according to How to open the configuration window.

  2. On the proxy setting screen, select Autodetect proxy settings for this network and click the OK button.

../../_images/proxy-firefox-auto.png
autoconfiguration script

  1. (If you haven’t opened the proxy configuration window) Open the Firefox proxy configuration window according to How to open the configuration window.

  2. On the proxy settings screen, select Automatic Proxy Settings Script, enter http://proxy.uec.ac.jp/ according to Basic Information in the input field directly below, and click the OK button. Select the Proxy Settings Script and enter :kbd:`` according to Basic Information in the input field directly below, then click the OK button.

../../_images/proxy-firefox-script.png
Manual setting

  1. (If you haven’t opened the proxy configuration window) Open the Firefox proxy configuration window according to How to open the configuration window.

  2. On the proxy settings screen, select Manually set up proxy, enter proxy.uec.ac.jp for the address and 8080 for the port according to Basic information in the entry fields below, and then click the OK button. and Port, and click the OK button.

../../_images/proxy-firefox-manual.png

Warning

You can access the campus site without a proxy server. If necessary, set the here in the connect without proxy field to proxy server exceptions.

Setting up a terminal (UNIX, macOS)

On UNIX systems such as Linux and macOS, proxy settings can be applied to commands executed on a terminal by setting them as environment variables in a shell configuration file.

Terminal If you need to install or update software using commands on Terminal, or use the web interface to communicate outside the university, please try this procedure.

The configuration method depends on the type of shell you are using. You can check your shell by executing the following command in a terminal.

echo $SHELL

Hint

There are several shell configuration files, and they can be used at different times depending on when you want to activate the configuration or to which you want to apply the configuration. This procedure is just an example. For details, please refer to the manual of each shell.

For bash and zsh (sh family)

  1. Add the following description to your shell configuration file. Use the export command to set the proxy settings as environment variables.

Shell type

Location of the configuration file

bash

~/.bash_profile

zsh

~/.zshenv

 
export http_proxy=http://proxy.cc.uec.ac.jp:8080/
export https_proxy=http://proxy.cc.uec.ac.jp:8080/
export ftp_proxy=http://proxy.cc.uec.ac.jp:8080/

  1. Execute the following command to restart the shell as a login shell. Logging out and logging in again will have the same effect.

exec $SHELL -l

For tcsh (csh family)

  1. Add the following description to your shell configuration file. Use the setenv command to set the proxy settings as environment variables.

Shell type

Location of the configuration file

tcsh

~/.tcshrc

 
setenv http_proxy http://proxy.cc.uec.ac.jp:8080/
setenv https_proxy http://proxy.cc.uec.ac.jp:8080/
setenv ftp_proxy http://proxy.cc.uec.ac.jp:8080/

  1. Execute the following command to restart the shell as a login shell. Logging out and logging in again will have the same effect.

exec $SHELL -l

FAQ