From 4a55495345c46802b32a628a1ed2baa4e4d1e9a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Fri, 14 Jan 2022 11:15:10 +0100
Subject: Set terminal title on everything.

---
 files/terminal-name.sh | 8 ++++++++
 manifests/common.pp    | 5 +++++
 2 files changed, 13 insertions(+)
 create mode 100644 files/terminal-name.sh

diff --git a/files/terminal-name.sh b/files/terminal-name.sh
new file mode 100644
index 0000000..8689cdd
--- /dev/null
+++ b/files/terminal-name.sh
@@ -0,0 +1,8 @@
+case "$TERM" in
+xterm*|rxvt*)
+    PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
+    ;;
+*)
+    ;;
+esac
+
diff --git a/manifests/common.pp b/manifests/common.pp
index 5f165a1..27416bd 100644
--- a/manifests/common.pp
+++ b/manifests/common.pp
@@ -44,4 +44,9 @@ class profiles::common (
       | EOF
   }
 
+  # Min priority, so it can still be overwritten
+  file { '/etc/profile.d/00-terminal-name.sh':
+    source => 'puppet:///modules/profiles/terminal-name.sh',
+  }
+
 }
-- 
cgit v1.2.3