chiark - git - mdw - profile/blob - 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