diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2018-12-04 10:28:07 +0300 |
|---|---|---|
| committer | Dominik Ritter <dritter03@googlemail.com> | 2019-02-03 10:49:57 +0300 |
| commit | 0207182eb900a812ed42f47feadc7e24f43960ba (patch) | |
| tree | 717058884ba73173308f1e1bdefeb170cd817427 | |
| parent | d83aacfb3ff01bf1839cf23e96ac9e6878663daa (diff) | |
Add missing function
| -rwxr-xr-x | debug/font-issues.zsh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debug/font-issues.zsh b/debug/font-issues.zsh index 135a6349..9fd9be15 100755 --- a/debug/font-issues.zsh +++ b/debug/font-issues.zsh @@ -16,6 +16,12 @@ trim() { set +f } +trim_quotes() { + trim_output="${1//\'}" + trim_output="${trim_output//\"}" + printf "%s" "$trim_output" +} + get_ppid() { # Get parent process ID of PID. case "$os" in |