From 0a2509e3e050b1b7add84530494738f37cc5f1b4 Mon Sep 17 00:00:00 2001
From: Raf Czlonka <rczlonka@gmail.com>
Date: Tue, 11 Jul 2023 16:03:17 +0100
Subject: [PATCH] Fix test case

---
 pages/unixtips.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: