From bad4e62e93598e326936b90f33acde635b35c016 Mon Sep 17 00:00:00 2001 From: romkatv Date: Fri, 15 Mar 2019 19:14:10 +0100 Subject: [PATCH] kill timer process on exit --- powerlevel9k.zsh-theme | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index 707f974..00758ed 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -2093,6 +2093,12 @@ _p9k_init_timer() { fi done " <&$_P9K_TIMER_FD2 >&$_P9K_TIMER_FD1 2>/dev/null &! + local pid=$! + function _p9k_kill_timer_${pid}() { + emulate -L zsh + kill -- -${${(%)${:-%N}}#_p9k_kill_timer_} &>/dev/null + } + add-zsh-hook zshexit _p9k_kill_timer_${pid} } if ! _p9k_start_timer ; then