Puppet

Puppet is the configuration management system used to configure the hosts.

Our Puppet Dashboard gives an overview over all systems managed using Puppet at PSI.

Contents: