pacman-mirror: add the 'remove' command

This command will not trigger the package to be removed from the remote
Pacman repository right away; it will still need to be pushed.

The need arose when MSys2 added a 'markdown' package, obsoleting Git for
Windows' own 'markdown' package.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho

pacman-mirror.sh

@@ -11,6 +11,8 @@
 #
 # - 'add' to add packages to the local mirror
 #
+# - 'remove' to make the next 'push' skip the given package(s)
+#
 # - 'push' to synchronize local changes (after calling `repo-add`) to the
 #   remote Pacman repository
 
@@ -25,12 +27,12 @@ export CURL_CA_BUNDLE
 
 mode=
 case "$1" in
-fetch|add|push)
+fetch|add|remove|push)
 	mode="$1"
 	shift
 	;;
 *)
-	die "Usage: $0 ( fetch | push | add <package>... )"
+	die "Usage: $0 ( fetch | push | ( add | remove ) <package>... )"
 	;;
 esac
 
@@ -174,6 +176,22 @@ add () { # <file>
 	done
 }
 
+remove () { # <package>...
+	test $# -gt 0 ||
+	die "What packages do you want to add?"
+
+	for package
+	do
+		for arch in $architectures
+		do
+			(cd "$(arch_dir $arch)" &&
+			 rm $package-*.pkg.tar.xz &&
+			 repo-remove git-for-windows.db.tar.xz $package)
+		done
+	done
+}
+
+
 update_local_package_databases () {
 	for arch in $architectures
 	do