diff options
Diffstat (limited to 'manifests')
| -rw-r--r-- | manifests/init.pp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index 56da9ea..23f53f4 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -7,13 +7,13 @@ class shellprompt { 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'], - #} + # TODO: remove this block in the future, as we're applying back jessie's version + file { "/etc/bash.bashrc": + source => "puppet:///modules/shellprompt/bash.bashrc", + owner => "root", + group => "root", + mode => 0644, + ensure => present, + require => File['/etc/profile.d/prompt'], + } } |