diff options
| -rw-r--r-- | manifests/init.pp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index ed293d3..56da9ea 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -8,12 +8,12 @@ class shellprompt { } # 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'], + #} } |