commit abe24456b172d7e04932689572604c808589dad2
parent 5562ec796931fa5967fcf64d6e0b1abde5fcbba5
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Sun, 29 Dec 2019 09:50:05 +0100
Add local mail file to mailboxes
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.local/bin/mailboxes b/.local/bin/mailboxes
@@ -12,8 +12,12 @@ if [ ! -d "$mailroot" ]; then
fi
echo "mailboxes \\"
-cd $mailroot
+if [ -f "/var/mail/$USER" ]; then
+ printf ' "+%s" \\\n' "/var/mail/$USER"
+fi
+
+cd $mailroot
find . -type d | grep -v -e '^\.$' -e '\/cur$' -e '\/new$' -e '\/tmp$' | \
sed 's/^\.\// "+/;s/$/" \\/'