diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 15:04:16 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 15:04:16 +0200 |
| commit | 07f53018def462160033a82429634d49707d13db (patch) | |
| tree | 3aa710cd0236db4c4ef78f060e8ab2f443baf67d /scripts | |
| parent | a70164abb4d79fd8aaa95bd600330e1a9085dc0e (diff) | |
scripts: Delete unused script.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fetch-mailbox.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/scripts/fetch-mailbox.sh b/scripts/fetch-mailbox.sh deleted file mode 100755 index 5ba4e83..0000000 --- a/scripts/fetch-mailbox.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -# This script is used for testing purposes only. It fetches the mail -# archives for guix-patches@gnu.org, converts these mbox files to a -# maildir, and then indexes the mails with mu. - -mkdir -p tmp -cd tmp -wget ftp://lists.gnu.org/guix-patches/* -for mbox in $PWD/*; do - mb2md -s $mbox -d $PWD/../maildir -done - -cd .. -mu index --maildir=maildir --muhome=$PWD/muhome |