Get rid of files where we don't own the copyright or license is unclear

[zsh-lovers.git] / zsh_people / bruno_bonfils / rc / titles.rc

diff --git a/zsh_people/bruno_bonfils/rc/titles.rc b/zsh_people/bruno_bonfils/rc/titles.rc
deleted file mode 100644 (file)
index c383b35..0000000
--- a/zsh_people/bruno_bonfils/rc/titles.rc
+++ /dev/null
@@ -1,23 +0,0 @@
-if [ $TERM = "screen" ]
-then
-       function title {
-          # Use these two for GNU Screen:
-               local myhost
-               myhost=${$(hostname)//.*/}
-          print -nR $'\033k'$myhost$'\033'\\
-          print -nR $'\033]0;'$1$'\a'
-
-       }
-
-       preexec ()
-       {       
-               emulate -L zsh
-               local -a cmd; cmd=(${(z)1})
-               title ${$(hostname)//.*/} "$cmd[1,-1]"
-       }
-
-       eval "function precmd () { 
-               $functions[precmd]
-               title \$PWD
-       }"
-fi