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:

puppet/general puppet/client puppet/puppet-master puppet/hiera puppet/modules puppet/development