makebuildserver: purge apt_package_cache feature

This is unmaintained, lightly used, a tangled mess, and can be replaced by
things like the vagrant-cachier plugin or #418
This commit is contained in:
Hans-Christoph Steiner 2022-10-19 10:30:13 +02:00
parent 52849deea0
commit 21ea1c1c89
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA
4 changed files with 1 additions and 29 deletions

View file

@ -12,8 +12,7 @@ end
Vagrant.configure("2") do |config|
# these two caching methods conflict, so only use one at a time
if Vagrant.has_plugin?("vagrant-cachier") and not configfile.has_key? "aptcachedir"
if Vagrant.has_plugin?("vagrant-cachier")
config.cache.scope = :box
config.cache.auto_detect = false
config.cache.enable :apt
@ -77,12 +76,6 @@ Vagrant.configure("2") do |config|
# necessary with 9p synced folders
Dir.mkdir('cache') unless File.exists?('cache')
# cache .deb packages on the host via a mount trick
if configfile.has_key? "aptcachedir"
config.vm.synced_folder configfile["aptcachedir"], "/var/cache/apt/archives",
owner: 'root', group: 'root', create: true
end
config.vm.provision "shell", name: "setup-env-vars", path: "setup-env-vars",
args: ["/opt/android-sdk"]
config.vm.provision "shell", name: "apt-get-install", path: "provision-apt-get-install",