chiark / gitweb /
bin/disorder-notify: Rewrite and take over the functionality of `media-keys'.
[profile] / bin / fixsub
1 #! /bin/sh -e
2 cd $HOME/mail
3 find . \
4   \( -name ".?*" -o \
5      -name bin -o \
6      -name "*~" -o \
7      -name "*.nov" -o \
8      -name "to.split" \) -prune -o \
9   -type f -print \
10   >.subscriptions.tmp
11 { echo INBOX; sort .subscriptions.tmp | sed 's:^./::'; } >.subscriptions.new
12 mv .subscriptions.new .subscriptions
13 rm -f .subscriptions.tmp