HomeSoftware Heritage

vagrant: Make tmpdir configurable on vagrant scripts

Description

vagrant: Make tmpdir configurable on vagrant scripts

This also moves the temporary directory to /var/tmp/puppet/ (to keep it across reboots).
Hence it aligns the vagrantfile to use that same folder in the vm declaration.

Related to T3833

Details