Set parent if it's unset

This commit is contained in:
Aidan Harris 2018-04-10 08:54:06 +00:00
parent 8fc70c9801
commit 0302d8eb9b
No known key found for this signature in database
GPG key ID: E18BE27807DA2E96

View file

@ -2179,6 +2179,8 @@ END
;;
"st")
[[ -z "$parent" ]] && parent="$(get_ppid "$PPID")"
term_font="$(ps -o command= -p "$parent" | grep -F -- "-f")"
if [[ "$term_font" ]]; then
term_font="${term_font/*-f/}"