diff options
Diffstat (limited to 'manifests')
-rw-r--r-- | manifests/init.pp | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/manifests/init.pp b/manifests/init.pp new file mode 100644 index 0000000..ed293d3 --- /dev/null +++ b/manifests/init.pp @@ -0,0 +1,19 @@ +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'], + } +} |