Files

244 B

Puppet

Puppet is the configuration management system used to configure Linux systems at PSI. The Puppet Dashboard gives an overview over all systems managed by Puppet.