From b180ac33227e9d7125bb04932fdbc9b851906c84 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Thu, 25 Feb 2016 15:07:27 -0300
Subject: Turn into a puppet module

---
 manifests/init.pp | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 manifests/init.pp

(limited to 'manifests')

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'],
+  }
+}
-- 
cgit v1.2.3