# Puppet

[Puppet](https://puppet.com/docs/puppet) is the *configuration management system* used to configure Linux systems at PSI. The [Puppet Dashboard](https://puppet.psi.ch/puppetboard) gives an overview over all systems managed by Puppet.