diff options
| author | Raf Czlonka <rczlonka@gmail.com> | 2023-07-11 16:03:17 +0100 |
|---|---|---|
| committer | Raf Czlonka <rczlonka@gmail.com> | 2023-07-11 16:03:17 +0100 |
| commit | 0a2509e3e050b1b7add84530494738f37cc5f1b4 (patch) | |
| tree | 7a09375965a6222d7b608fc496156764505a1308 | |
| parent | 6081430382305a378d6d35dffaaf9e1187feeb0f (diff) | |
| download | wiki-0a2509e3e050b1b7add84530494738f37cc5f1b4.tar.gz | |
Fix test case
| -rw-r--r-- | pages/unixtips.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pages/unixtips.md b/pages/unixtips.md index 4b14250..3087c04 100644 --- a/pages/unixtips.md +++ b/pages/unixtips.md @@ -23,7 +23,7 @@ you have un-incorporated mail, or more specifically, when your `/var/mail/<username>` isn't empty. ``` -PS1="\$([-s /var/mail/`whoami` ] && echo '* ')$PS1" +PS1="$([ -s /var/mail/`whoami` ] && echo '* ')$PS1" ``` For maildir try this: |