1
0
Fork 0

Replace signal USR1 with WINCH

pull/917/head
Sorin Ionescu 10 years ago
parent 02c5f776fc
commit b761261b11

@ -67,7 +67,7 @@ function prompt_sorin_precmd_async {
fi fi
# Signal completion to parent process. # Signal completion to parent process.
kill -USR1 $$ kill -WINCH $$
} }
function prompt_sorin_precmd { function prompt_sorin_precmd {
@ -86,7 +86,7 @@ function prompt_sorin_precmd {
fi fi
# Compute slow commands in the background. # Compute slow commands in the background.
trap prompt_sorin_git_info USR1 trap prompt_sorin_git_info WINCH
prompt_sorin_precmd_async &! prompt_sorin_precmd_async &!
_prompt_sorin_precmd_async_pid=$! _prompt_sorin_precmd_async_pid=$!
} }

Loading…
Cancel
Save