HomeSoftware Heritage

Vagrantfile: Drop unnecessary extra mount point

Description

Vagrantfile: Drop unnecessary extra mount point

It's actually not needed as the existing mount is already propagated accordingly to the
puppet setup.

Plus it's actually slowing down the initial pergamon provisioning to a bore.

Related to T3325

Details

Provenance
ardumontAuthored on May 12 2021, 4:23 PM
ardumontPushed on May 17 2021, 2:42 PM
Differential Revision
D5741: Vagrantfile: Adapt pergamon configuration
Parents
rSENV2a2a46eb3151: Vagrantfile: Fix pergamon hostname
Branches
Unknown
Tags
Unknown
Tasks
T3325: Vagrantify puppet master