diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2018-12-04 10:28:27 +0300 |
|---|---|---|
| committer | Dominik Ritter <dritter03@googlemail.com> | 2019-02-03 10:50:38 +0300 |
| commit | cdf3fa51f21d3ec39cc9a54a9e6271dab11c8741 (patch) | |
| tree | f54d5e95c62528fca607227bb813b92e3c72d045 /debug | |
| parent | 0207182eb900a812ed42f47feadc7e24f43960ba (diff) | |
Make variables optional
Diffstat (limited to 'debug')
| -rwxr-xr-x | debug/font-issues.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/font-issues.zsh b/debug/font-issues.zsh index 9fd9be15..7435e9fe 100755 --- a/debug/font-issues.zsh +++ b/debug/font-issues.zsh @@ -119,6 +119,7 @@ get_term() { } get_term_font() { + local confs term_font mateterm_config role profile xrdb child profile_filename local term="${1}" # ((term_run != 1)) && get_term |