# Puppet

[Puppet](https://puppet.com/docs/puppet) is the *configuration management system* used to configure the hosts.

Our [Puppet Dashboard](https://puppet01.psi.ch/puppetboard) gives an overview over all systems managed using Puppet at PSI.

Contents:

```{tableofcontents}
```