HomeSoftware Heritage

Make opam shared root initialization more robust

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
Parents
rSPSITE9b38aaaf752f: worker18: Realign subscriptions with worker17
Branches
Unknown
Tags
Unknown
Tasks
T3826: Make opam shared root initialization more robust