scripts: Delete unused script.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 13:04:16 +0000 (15:04 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 13:04:16 +0000 (15:04 +0200)
scripts/fetch-mailbox.sh [deleted file]

diff --git a/scripts/fetch-mailbox.sh b/scripts/fetch-mailbox.sh
deleted file mode 100755 (executable)
index 5ba4e83..0000000
+++ /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