Puppet

Puppet ist unser zentrales Konfigurations Management System zur Konfiguration unserer Server. Puppet besteht aus mehreren Diensten.

Liste der Puppet-Dienste

	Name	URL„URL“ ist ein Datentyp für URI-/URL-Werte. Er wird Attributen mit Hilfe eines von Semantic MediaWiki bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.	RunningOnServer
Administration/Dienste/Puppet-Agent	Puppet-Agent	http://{{{URL}}}
Administration/Dienste/Puppet-Board	Puppet-Board	http://puppet.ffnw.de	Administration/Server/puppet.ffnw.de
Administration/Dienste/Puppet-DB	Puppet-DB		Administration/Server/puppet.ffnw.de
Administration/Dienste/Puppet-Server	Puppet-Server	http://{{{URL}}}	Administration/Server/puppet.ffnw.de