HomeSoftware Heritage

vagrant: Make tmpdir configurable on vagrant scripts

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

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

Provenance
ardumontAuthored on Jan 13 2022, 9:53 AM
ardumontPushed on Jan 13 2022, 10:52 AM
Differential Revision
D6932: vagrant: Make tmpdir configurable on vagrant scripts
Tasks
T3833: Dedicate one admin host to centralize administration dbs

Commit No Longer Exists

This commit no longer exists in the repository.