diff options
author | Debarshi Ray <debarshir@gnome.org> | 2015-01-29 13:09:17 +0100 |
---|---|---|
committer | Debarshi Ray <debarshir@gnome.org> | 2015-02-03 12:04:19 +0100 |
commit | baba3a229dee976708967fe9697fd927fdd0d211 (patch) | |
tree | 1b96a8ac6f4c06148abed195c717531fa61ae230 | |
parent | 837f7b9bf22a7db813bec98aa085854ef4e9d76d (diff) | |
download | vte-wip/rishi/command-notify.tar.gz |
vte.sh: Emit OSC 777 from PROMPT_COMMANDwip/rishi/command-notify
https://bugzilla.gnome.org/show_bug.cgi?id=711059
-rw-r--r-- | src/vte.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -50,9 +50,11 @@ __vte_osc7 () { } __vte_prompt_command() { + local command=$(HISTTIMEFORMAT= history 1 | sed 's/^ *[0-9]\+ *//') + command="${command//;/ }" local pwd='~' [ "$PWD" != "$HOME" ] && pwd=${PWD/#$HOME\//\~\/} - printf "\033]0;%s@%s:%s\007%s" "${USER}" "${HOSTNAME%%.*}" "${pwd}" "$(__vte_osc7)" + printf "\033]777;notify;%s;\007\033]0;%s@%s:%s\007%s" "${command}" "${USER}" "${HOSTNAME%%.*}" "${pwd}" "$(__vte_osc7)" } case "$TERM" in |