From b81b275ab30b06867a6ab13f774e90f0955dad88 Mon Sep 17 00:00:00 2001
From: Peter Stephenson <p.w.stephenson@ntlworld.com>
Date: Mon, 21 Mar 2016 19:46:26 +0000
Subject: [PATCH] Remove unnecessary file
---
Src/vincent.zsh | 30 ------------------------------
1 file changed, 30 deletions(-)
delete mode 100644 Src/vincent.zsh
diff --git a/Src/vincent.zsh b/Src/vincent.zsh
deleted file mode 100644
index 65da7d764..000000000
--- a/Src/vincent.zsh
+++ /dev/null
@@ -1,30 +0,0 @@
-updprompt()
-{
- psvar[2]=""
-
- unset _trapchld_called
- local njobs jobstr
- njobs=$#jobstates
- [[ $njobs -gt 1 ]] && jobstr="s"
- [[ $njobs -ge 1 ]] && jobstr=" $njobs job$jobstr |"
-
- echo 1 > /dev/tty
-
- [[ -n $TTY && $TERM == (xterm*|dtterm|mlterm|rxvt*|screen*) ]] &&
- {
- [[ $TERM == screen* ]] || print -nP "\e]1;%m${ptsn:+[$ptsn]}:%.\x07"
- print -nP "\e]2;${jobstr}${WINTITLE:+ $WINTITLE |} %n@%m - %~ | %y\x07"
- } > /dev/tty
-
- echo 2 > /dev/tty
-}
-
-TRAPCHLD()
-{
- echo SIGCHLD 1 > /dev/tty
- if [[ -o interactive && -n $TTY ]] then
- updprompt
- typeset -g _trapchld_called=1
- fi
- echo SIGCHLD 2 > /dev/tty
-}