Ubuntu プロキシ設定

Fri, 02 Oct 2020 15:40:00 +0900

User (Desktop): Settings > Network > Network Proxy

Settings > Network > Network Proxy > Manualに設定する。自動的に環境変数HTTP_PROXY, HTTPS_PROXYにスキームが追加された状態で設定される。

HTTP Proxy: proxy port
HTTPS Proxy: proxy port
Ignore Hosts: localhost, 127.0.0.0/8, ::1（プライベートネットワーク・組織内ネットワークのIPアドレス範囲またはドメインも追加する）

curlやwget、pipなど主要コマンドは注意点として、別ユーザとしてコマンドを実行すると環境変数が引き継がれない。例えばsudo curlしたときにプロキシに接続しにいかない。

sudoでコマンドを実行したとき、実行時シェルに設定されている環境変数を引き継ぐようにする。 sudoersは書き込み禁止になっているためvisudoで編集する。

# run as root
visudo -f /etc/sudoers

Defaults env_keep+="HTTP_PROXY"
Defaults env_keep+="HTTPS_PROXY"
Defaults env_keep+="NO_PROXY"
Defaults env_keep+="EDITOR"

システム全体の環境変数として設定される。影響範囲が大きいので注意。デスクトップユーザではSettings側の設定（Disabledなら設定されない）が優先されるようだった。

HTTP_PROXY=http://proxy:port
HTTPS_PROXY=http://proxy:port
NO_PROXY=localhost, 127.0.0.0/8, ::1

Acquire::http::proxy "http://proxy:port";                             
Acquire::https::proxy "http://proxy:port";

/etc/systemd/system/snapd.service.d/override.confにsystemdの設定ファイルを作成する。

Fri, 18 Sep 2020 20:00:00 +0900

Ubuntu 18.04、Windows 10のデュアルブート環境を構築する。プロキシ下を想定しているので、不要な場合は適宜調整。

デュアルブート環境では、BIOSの時刻を介してWindows側の時刻管理（ローカル時間）とUbuntu側の時刻管理（UTC時間）が衝突して、タイムゾーンの時差分、時計がずれてしまう。ここでは、Windows側の時刻管理をUTC時間にするようにレジストリを変更して対処する。

Windows上で管理者権限でコマンドプロンプトを起動し、以下のコマンドを実行する。

reg add "HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\TimeZoneInformation" /v RealTimeIsUniversal /d 1 /t REG_DWORD /f

時刻同期のためプロキシ内のNTPサーバを設定する。

Settings > Details > Date & Timeで使われるNTPサービスはsystemd-timesyncd。