Files
gitea-pages/admin-guide/puppet.md

11 lines
283 B
Markdown

# 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}
```