terminal title for man pages

diff --git a/.bash/interactive b/.bash/interactive
index 969d153ba49dd6320213f42b80332908dfa0d02d..d14f00a8484df68ac097bece1fa70cad1f8aa828 100644 (file)
--- a/.bash/interactive
+++ b/.bash/interactive
@@ -115,8 +115,12 @@ alias pstree='ps --forest -weo pid,user:16,args --sort start_time|less -S'
 alias pstime='ps -weo pid,user:16,lstart,args --sort start_time|less -S'
 
 
-# Colorful man pages
+# Super man!
+#  Colourful headings
+#  Terminal title
 function man {
+    tput tsl; echo "man $@"; tput fsl
+
     env \
         LESS_TERMCAP_md=$'\E[01;38;5;74m' \
         LESS_TERMCAP_me=$'\E[0m' \