Vagrant: cache VM downloads and support several checkouts - #1379

Merged

gusthoff merged 24 commits into

AdaCore:mainfrom

gusthoff:dev/topic/infrastructure/vagrant/download-caching/2026-09-11

Sep 11, 2026

Commits on Sep 11, 2026

Vagrant: make installation of pinned packages optional

gusthoff
and
claude
committed
d3b6969
Vagrant: move VM package lists into frontend/vm/

gusthoff
and
claude
committed
00181eb
Vagrant: cache GNAT toolchain downloads on the host

gusthoff
and
claude
committed
b015c39
Vagrant: cache the pnpm store on the host

gusthoff
and
claude
committed
d09d678
Vagrant: cache apt archives on the host

gusthoff
and
claude
committed
ad6df73
Vagrant: add cache reporting and cleanup scripts

gusthoff
and
claude
committed
a71a5d2
Vagrant: make the cache scripts executable and invoke them via bash

gusthoff
and
claude
committed
8c7b562
Vagrant: expand relative cache paths consistently

gusthoff
and
claude
committed
35694c4
Vagrant: auto-correct a clashing dev-server port

gusthoff
and
claude
committed
437a9d1
Vagrant: make the dev-server host port configurable

gusthoff
and
claude
committed
d0c1969
Vagrant: make the SSH host ports configurable

gusthoff
and
claude
committed
38e7070
Vagrant: scope cache temporaries to the checkout

gusthoff
and
claude
committed
78bebcc
Vagrant: stop caching the pnpm store on the host

gusthoff
and
claude
committed
eb87e2b
Vagrant: add a script to capture a VM's package set

gusthoff
and
claude
committed
38707db
Docs: add a how-to for the Vagrant VMs

gusthoff
and
claude
committed
1738a9b
Vagrant: split the cache scripts by cache

gusthoff
and
claude
committed
f82f05e
Vagrant: detect unneeded package files in the apt cache

gusthoff
and
claude
committed
1123fd2
Vagrant: include the apt cache in report and clean

gusthoff
and
claude
committed
ff622e0
Vagrant: label each cache in the combined report

gusthoff
and
claude
committed
400f869
Docs: describe apt cache cleanup

gusthoff
and
claude
committed
85f54ec
Vagrant: report every cache even if one fails

gusthoff
and
claude
committed
cdf7f4e
Vagrant: name the fetch script after the cache it fills

gusthoff
and
claude
committed
2e69dc4
Vagrant: add a fetch verb to the toolchain cache script

gusthoff
and
claude
committed
9e4cf8b
Docs: correct the cache script descriptions

gusthoff
and
claude
committed
d926788

Navigation Menu

Vagrant: cache VM downloads and support several checkouts - #1379

Vagrant: cache VM downloads and support several checkouts#1379
gusthoff merged 24 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/vagrant/download-caching/2026-09-11

Commits on Sep 11, 2026

Vagrant: make installation of pinned packages optional

Vagrant: move VM package lists into frontend/vm/

Vagrant: cache GNAT toolchain downloads on the host

Vagrant: cache the pnpm store on the host

Vagrant: cache apt archives on the host

Vagrant: add cache reporting and cleanup scripts

Vagrant: make the cache scripts executable and invoke them via bash

Vagrant: expand relative cache paths consistently

Vagrant: auto-correct a clashing dev-server port

Vagrant: make the dev-server host port configurable

Vagrant: make the SSH host ports configurable

Vagrant: scope cache temporaries to the checkout

Vagrant: stop caching the pnpm store on the host

Vagrant: add a script to capture a VM's package set

Docs: add a how-to for the Vagrant VMs

Vagrant: split the cache scripts by cache

Vagrant: detect unneeded package files in the apt cache

Vagrant: include the apt cache in report and clean

Vagrant: label each cache in the combined report

Docs: describe apt cache cleanup

Vagrant: report every cache even if one fails

Vagrant: name the fetch script after the cache it fills

Vagrant: add a fetch verb to the toolchain cache script

Docs: correct the cache script descriptions