Saya menemukan petunjuk untuk solusi di Forum Ubuntu , di mana pengguna mengirim tautan ke Pusat Pengembang Gnome yang menjelaskan konfigurasi untuk Gnome Shell. Solusi saya menjelaskan apa yang harus dilakukan untuk Unity.
Anda perlu menginstal dconf-tools jika Anda belum memilikinya:
sudo apt-get install dconf-tools
Kemudian jalankan alat (misalnya, menekan Ctrl + F2 , lalu mengetikkan dconf-editor dan menekan Enter ).
Perluas sistem kunci di panel kiri dan klik pada kunci proxy . Di panel kanan Anda akan mendapatkan tempat untuk memasukkan daftar proksi yang diabaikan ( abaikan-host ).
Dalam proxy kunci dan subkunci dari itu ( ftp , http , https , dan socks ) Anda dapat mengonfigurasi lebih banyak opsi proxy yang tidak tersedia di GUI baru yang mengkilap tapi hampir tidak berguna.
Jangan lupa untuk keluar dan masuk lagi untuk mengaktifkan konfigurasi!
Satu-satunya perbedaan untuk Unity dibandingkan dengan Gnome Shell adalah bahwa kunci yang akan dimodifikasi untuk Gnome Shell ada di kunci org.gnome.system.proxy.