Proxy Server

Basic Information

By using a proxy server, you can use off-campus web services from your on-campus private network.

Server name (address)

proxy.uec.ac.jp

Port

8080

Automatic configuration script (PAC) address

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

Automatic detection by WPAD (some supported OS only)

Specify a domain that includes uec.ac.jp as the DNS suffix using 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 the administrator.

UEC global network:

  • 130.153.0.0/16

  • 192.50.30.0/23

Proxy excluded addresses:

  • 130.153.0.0/16

  • 172.21.0.0/16

  • 192.168.0.0/16

Generally, there are the following methods for proxy settings.

  • automatic detection

    • Detects proxy settings and configures them automatically. It only works if your network has proxy information distributed by a DHCP server.

  • automatic configuration script

    • Configure the proxy using the automatic configuration script (PAC, Proxy Auto-Config) provided by the Information Technology Center.It functions in an environment that can connect to the Information Technology Center’s web server.

  • Manual configuration

    • Set the proxy server manually. Compared to the other methods above, this method requires more settings, but it works stably in many environments.Please try this method even if the above automatic detection or automatic configuration script methods do not work.

Note

It may be possible to configure multiple of these settings at the same time, but please note that depending on some OS or applications, the priority of the settings may be different or some settings may not function effectively.

Setting Example

Windows 11

How to open setting items

Open the terminal settings and open the Proxy item from Network and Internet.

From here, proceed to the following steps depending on the setting method. For the difference in setting methods, please refer to here.

Auto detection

  1. (If the proxy settings screen is not open) Open the proxy settings screen according to How to open the settings screen.

  2. On the proxy settings screen, turn on Automatically detect settings. The settings are now complete.

Warning

You can access the on-campus site without going through a proxy server. You can access the campus site without going through a proxy server. If necessary, please refer to here to configure exception settings for the proxy server in the red frame below.

automatic configuration script

  1. (If the proxy settings screen is not open) Open the proxy settings screen according to How to open the settings screen.

  2. Turn on Use setup script.

  3. Enter http://proxy.uec.ac.jp/ in Script address according to the contents of Automatic setting PAC in Basic information. Then press the Save button immediately there.

Warning

You can access the on-campus site without going through a proxy server. You can access the campus site without going through a proxy server. If necessary, please refer to here to configure exception settings for the proxy server in the red frame below.

Manual configuration

  1. (If the proxy settings screen is not open) Open the proxy settings screen according to How to open the settings screen

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

  3. According to Basic information, enter proxy.uec.ac.jp in Address, 8080 in Port, and: Click the guilabel:Save button.

Warning

You can access the on-campus site without going through a proxy server. You can access the campus site without going through a proxy server. If necessary, please refer to here to configure exception settings for the proxy server in the red frame below.

Settings for Windows Update

Overview

Some of the communication functions of Windows, such as Windows Update, depend on WinHTTP. When using a proxy with Windows Update, separate WinHTTP settings are required. Below, we will explain the procedure for setting up a WinHTTP proxy.

How to set it up

  1. Run the command prompt as administrator.

  2. Start a network shell with the following command.

netsh

  1. Execute the following command 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, check whether the settings are completed using the following command.

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

How to cancel settings

  1. Start a network shell with the following command.

netsh

  1. Execute the following command to configure WinHTTP.

winhttp

  1. Check the WinHTTP proxy settings.

show proxy

  1. Cancel the settings with the following command.

reset proxy

  1. Finally, check whether the settings are completed using the following command.

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

Settings for Safari (Settings for macOS network)

Safari refers to the proxy server information set on the macOS network. Below, we will explain 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 Environment Settings to display the Network settings window.

  1. According to your network environment Select Network configuration and then select a network interface such as Wi-Fi. Next, press the Details button to display the proxy settings screen.

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

\(\Downarrow\)

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

Proxy settings screen

Next, proceed to the following steps depending on the setting method. For the difference in setting methods, please refer to here.

Note

The setting example and display will differ depending on your network. Please select the network configuration and network interface according to your current network.

Auto detection

  1. (If the proxy settings screen is not open) Open the proxy settings screen according to How to open the settings screen.

  2. Select Automatic proxy automatic detection on the proxy setting screen and press the OK button.

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

Warning

You can access campus sites without going through a proxy server. If necessary, refer to here and perform exception settings for the proxy server.

../../_images/proxy-mac-reigai-01.png
automatic configuration script

  1. (If the proxy settings screen is not open) Follow How to open the settings screen to open the Firefox proxy settings screen.

  2. Select 自動プロキシ構成 (Automatic proxy configuration) on the proxy settings screen, enter http://proxy.uec.ac.jp/ in プロキシ構成ファイル (the proxy configuration file) input field according to the basic information, and press the OK button.

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

Warning

You can access campus sites without going through a proxy server. If necessary, refer to here and perform exception settings for the proxy server.

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

  1. (If the proxy settings screen is not open) Follow How to open the settings screen to open the Firefox proxy settings screen.

  2. In the proxy screen settings, check all of the following, and according to the basic information, enter proxy.uec.ac.jp in the server and 8080 in the input field to the right of it. Finally, press the OK button.

  • Web Proxy（HTTP）

  • Secured 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 campus sites without going through a proxy server. If necessary, refer to here and perform exception settings for the proxy server.

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

Settings for Google Chrome (Windows-wide or macOS network settings)

Windows 11

Please follow the same steps as settings for Microsoft Edge (settings for the entire Windows).

macOS

Please follow the same steps as settings for Safari (settings for the network of macOS).

Settings for Firefox

How to open the settings screen

  1. Click the menu (firefox59_menu) in the upper right corner of the Firefox screen, then click オプション (Options) (or 設定 (Settings)) to open the settings screen.

  1. Click the 接続設定 (Connection Settings) button at the bottom of the settings screen to open the proxy settings screen.

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

\(\Downarrow\)

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

Proxy settings screen

Next, configure proxy settings in Firefox using one of the following methods. Unless there is a particular reason, we recommend the method of referring to the network settings of Windows as a whole or macOS.

  1. Referring to the Network Settings of Windows as a Whole or MacOS

  2. Configure Firefox Independently

Referring to the Network Settings of Windows as a Whole or MacOS

  1. (If the proxy settings screen is not open) Open the proxy settings screen according to How to open the settings screen.

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

  1. Depending on your OS, configure proxy settings for Windows10, Windows11, or Safari (macOS network settings) for the entire Windows or macOS network using the same procedure.

Configure Firefox with independent settings

Proceed to the following steps depending on the setting method. For the difference in setting methods, please refer to here.

Auto detection

  1. (If the proxy settings screen is not open) Follow How to open the settings screen to open the Firefox proxy settings screen.

  2. On the proxy settings screen, select Automatically detect proxy settings for this network and press the OK button.

automatic configuration script

  1. (If the proxy settings screen is not open) Follow How to open the settings screen to open the Firefox proxy settings screen.

  2. Select 自動プロキシ設定スクリプト (Automatic proxy setting script) on the proxy setting screen, enter http://proxy.uec.ac.jp/ in the input field directly below according to the basic information, and press the OK button.

Manual configuration

  1. (If the proxy settings screen is not open) Follow How to open the settings screen to open the Firefox proxy settings screen.

  2. Select Manually configure proxy on the proxy settings screen, enter proxy.uec.ac.jp for address and 8080 for port according to the basic information in the input field directly below, and press the OK button.

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

Warning

You can access on-campus sites without going through a proxy server. If necessary, please set exceptions for the proxy server in the プロキシなしで接続 (Connect without proxy) section, referring to here.

Settings for Terminal (UNIX, macOS)

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

If you need to communicate outside the university, such as installing or updating software using commands on a terminal, or using a web interface, please try this procedure.

The setting method differs depending on the type of shell you are using. You can check your shell by running the following command in the terminal.

echo $SHELL

Hint

There are multiple configuration files for the shell, and you can choose which one to use depending on when you want to enable the settings and what you want to apply the settings to. This procedure is just an example. For details, please refer to the manual of each shell.

For bash, zsh (sh series)

  1. Add the following description to the shell configuration file. The proxy settings are set as environment variables using the export command.

shell type

Configuration file location

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. The same effect can be obtained by logging out and logging in again.

exec $SHELL -l

For tcsh (csh series)

  1. Add the following description to the shell configuration file. The proxy settings are set as environment variables using the setenv command.

shell type

Configuration file location

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. The same effect can be obtained by logging out and logging in again.

exec $SHELL -l

FAQ