institute
/
wiki
2
0
Fork 4
Code Issues Pull Requests Releases Wiki Activity

Fix test case

This commit is contained in:
Raf Czlonka 2023-07-11 16:03:17 +01:00
parent 6081430382
commit 0a2509e3e0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pages/unixtips.md
View File

@ -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: