Puppet

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

Liste der Puppet-Dienste

 NameURL„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-AgentPuppet-Agenthttp://{{{URL}}}
Administration/Dienste/Puppet-BoardPuppet-Boardhttp://puppet.ffnw.deAdministration/Server/puppet.ffnw.de
Administration/Dienste/Puppet-DBPuppet-DBAdministration/Server/puppet.ffnw.de
Administration/Dienste/Puppet-ServerPuppet-Serverhttp://{{{URL}}}Administration/Server/puppet.ffnw.de