Proyek Vagrant memiliki jalur unduhan host sebelum tamu ada, dan jalur lain untuk penyedia tamu serta alat paket. Konfigurasikan masing-masing di tempat ia berjalan.

Untuk alat host yang memakai variabel ini, contoh rutenya adalah:

export http_proxy=http://gateway.example:8080
export https_proxy=http://gateway.example:8080

Vagrant mendokumentasikan http_proxy untuk unduhan box HTTP. Akuisisi plugin juga memerlukan keterjangkauan dari host; plugin konfigurasi tamu tidak dapat mengunduh dirinya sendiri. Tujuan HTTPS tetap dapat memakai nilai proxy HTTP. Untuk unduhan publik yang diizinkan tanpa kredensial proxy yang dikonfigurasi pada klien host atau tamu terkait, daftar proxy HTTP dapat menyediakan endpoint HTTP yang cocok.

Dengan vagrant-proxyconf yang kompatibel sudah terpasang, berikan tamu rutenya melalui Vagrantfile:

Vagrant.configure("2") do |config|
  if Vagrant.has_plugin?("vagrant-proxyconf")
    config.proxy.http = "http://gateway.example:8080"
    config.proxy.https = "http://gateway.example:8080"
    config.proxy.no_proxy = "localhost,127.0.0.1"
  end
end

Plugin menulis konfigurasi tamu yang didukung sebelum penyedia. VAGRANT_HTTP_PROXY dan input terkaitnya dapat menimpa pengaturan berkas, jadi periksa saat perubahan tidak berlaku.

Dari sisi tamu, localhost berarti tamu. Proxy pada loopback host memerlukan jalur yang dapat dijangkau secara eksplisit, bukan URL host yang disalin. export penyedia shell juga berakhir dengan shell itu dan anak-anaknya; itu tidak menetapkan kebijakan login atau layanan berikutnya.

Untuk menghapus, bersihkan konfigurasi yang sudah ditulis di tamu dengan input kosong/false yang didokumentasikan plugin. Menutup terminal host tidak menghapus berkas persisten tersebut.

Artikel terkait