「システム全体に適用」オプションはありません。プロキシを設定または設定解除するたびに/etc/apt/apt.confファイルを手動で変更する必要があります。
Ubuntu 18.04でapt.confを適宜更新して、システム全体のプロキシ設定を適用するように設定するにはどうすればよいですか?
編集:
Apt.confを手動で設定したにもかかわらず、「Unsupported proxy configured:proxy.server.com//8080」エラーが表示されるため、Ubuntuソフトウェアを使用して何もインストールできません。どうすれば修正できますか?
環境変数でプロキシの詳細を設定します。/etc/environment
を編集し、次の行を追加します(ユーザー名、パスワード、ホスト、ポートをプロキシの詳細に置き換えます)。
http_proxy=http://username:password@Host:port/
ftp_proxy=ftp://username:password@Host:port/
https_proxy=https://username:password@Host:port/
Apt、ソフトウェアセンターなど;
_/etc/apt/apt.conf.d/80proxy
を編集し(存在しない場合は作成)、次の行を追加します
Acquire::http::proxy "http://username:password@Host:port/";
Acquire::ftp::proxy "ftp://username:password@Host:port/";
Acquire::https::proxy "https://username:password@Host:port/";
18.04はデフォルトのデスクトップマネージャーとしてGNOMEを使用しますが、以前のいくつかのLTSリリースで使用されていたUnityを好みます。 UnityをインストールしてUnityに切り替えたときに、ネットワーク/プロキシ設定メニューの「システム全体に適用」オプションが復元されました。
Unityに切り替えるには、Sudo apt update && Sudo apt install ubuntu-unity-desktop
を実行し、プロンプトが表示されたらlightdm
オプションを選択します。 aptが更新/インストール用のリポジトリに到達する前に、プロキシサーバーを含めるために最初に/etc/environment
を編集する必要がありました。 このリンク Unityに切り替える方法の詳細な説明を提供します。
セットアップ時にプロキシ値を通知したため、/etc/environment
でも/etc/apt/apt.conf.d/80proxy
にプロキシ情報が見つかりませんでした。
次のファイルにあります:/etc/apt/apt.conf.d/90curtin-aptproxy
。