class shellprompt {
  file { "/etc/profile.d/prompt.sh":
    source  => "puppet:///modules/shellprompt/prompt",
    owner   => "root",
    group   => "root",
    mode    => 0644,
    ensure  => present,
  }

  # Ideally we should not manage this file, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=675008
  #file { "/etc/bash.bashrc":
  #  source  => "puppet:///modules/shellprompt/bash.bashrc",
  #  owner   => "root",
  #  group   => "root",
  #  mode    => 0644,
  #  ensure  => present,
  #  require => File['/etc/profile.d/prompt.sh'],
  #}
}