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'],
  }
}