diff options
| author | Jacob Janzen <jjanzenn@proton.me> | 2024-08-11 12:28:22 -0500 |
|---|---|---|
| committer | Jacob Janzen <jjanzenn@proton.me> | 2024-08-11 12:28:22 -0500 |
| commit | 45f3746ff609ffafd2f643bdb49cd901a27fa05f (patch) | |
| tree | 5954f0c8d1d5d70ecaeb227a13e2f56f3ad9e655 /common/zshrc.org | |
| parent | 941d88de6de507f4d36c4dd6fd07dfd55395d2d8 (diff) | |
fix fonts on gentoo; quiet grep on gentoo
Diffstat (limited to 'common/zshrc.org')
| -rw-r--r-- | common/zshrc.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/zshrc.org b/common/zshrc.org index 4ff5524..bbc2c0e 100644 --- a/common/zshrc.org +++ b/common/zshrc.org @@ -11,7 +11,7 @@ Set up completions. Enable Gentoo completions on my Gentoo system. #+begin_src sh :tangle ~/.zshrc :mkdirp yes - if [ "$(uname)" = 'Linux' ] && grep 'ID=gentoo' /etc/os-release; then + if [ "$(uname)" = 'Linux' ] && grep -q 'ID=gentoo' /etc/os-release; then prompt gentoo fi #+end_src |