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