term_font: konsole: Avoid wrong font info

2019-12-22 13:39:38 +01:00 · 2019-12-22 13:39:38 +01:00 · 618d5b2347
parent 84d76a7ff3
commit 618d5b2347
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -3119,6 +3119,8 @@ END
                [[ "$profile" ]] && break
            done

+            [[ ! $profile ]] && return
+
            # We could have two profile files for the same profile name, take first match
            profile_filename="$(grep -l "Name=${profile}" "$HOME"/.local/share/konsole/*.profile)"
            profile_filename="${profile_filename/$'\n'*}"