Files

4 lines
244 B
Markdown

# 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.