commit 4ea039d0d581750b16666ac4ca81ab948580806a
parent c76f8fd6525d48602b6d0e917a46d5711a8d0b4a
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Sun, 10 Mar 2019 21:33:38 +0100
Rename github email folder to git
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/links/bin/mailstatus.sh b/links/bin/mailstatus.sh
@@ -4,16 +4,16 @@ maildir=~/mail
if [ ! -d $maildir ]; then
exit 0
fi
-newmails=$(find $maildir/*/{INBOX,github}/new -type f)
+newmails=$(find $maildir/*/{INBOX,git}/new -type f)
numbernewmails=$(echo $newmails | wc -w | sed 's/ *//')
mailboxes="$(echo $newmails | tr ' ' '\n' | sed 's/.*\/mail\///' |
- sed 's/\/INBOX.*//' | sed 's/adamsgaard\/github.*/github/')"
+ sed 's/\/INBOX.*//' | sed 's/adamsgaard\/git.*/git/')"
accounts=""
if [[ $mailboxes == *"adamsgaard"* ]]; then
accounts="${accounts}a"
fi
-if [[ $mailboxes == *"github"* ]]; then
+if [[ $mailboxes == *"git"* ]]; then
accounts="${accounts}G"
fi
if [[ $mailboxes == *"princeton"* ]]; then