HomeSoftware Heritage

Make opam shared root initialization more robust

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

Description

Make opam shared root initialization more robust

This:

  • drops the previous version of the tooling
  • installs the new tooling:
    • use set -e in the main script so command failures are immediately detected by icinga
    • the script triggered by the timer/service script updates all instances at once (in working order, first opam root with the default opam instance, then the other secondary repositories). Implementation wise, it's looping over all instances to init or update them all.
  • also changes the timer period to ~24h (this matches the scheduler configuration for

the opam lister)

Related to T3826

Details

Provenance
ardumontAuthored on Jan 6 2022, 11:26 AM
ardumontPushed on Jan 7 2022, 9:17 AM
Differential Revision
D6883: Make opam shared root initialization more robust
Tasks
T3826: Make opam shared root initialization more robust

Commit No Longer Exists

This commit no longer exists in the repository.