From 5616dc466d2e7f537ca807a36bd18a5cec7f4643 Mon Sep 17 00:00:00 2001
From: Damien Zammit <damien@zamaudio.com>
Date: Sat, 24 Jun 2023 11:27:12 +1000
Subject: debian: Add prune.sh script for cleaning upstream

---
 debian/prune.sh | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100755 debian/prune.sh

diff --git a/debian/prune.sh b/debian/prune.sh
new file mode 100755
index 00000000..bebf6065
--- /dev/null
+++ b/debian/prune.sh
@@ -0,0 +1,29 @@
+#! /bin/sh
+
+# This script prunes ~1.1G of currently unused files.
+
+set -ex
+
+cd buildrump.sh/src
+
+rm -rf crypto # 169M
+rm -rf distrib # 30M
+
+mkdir -p external-safe/bsd external-safe/historical
+cp -a external/bsd/byacc external/bsd/flex external/bsd/mdocml external-safe/bsd
+cp -a external/historical/nawk external-safe/historical
+rm -rf external # 787M
+mv external-safe external
+
+rm -rf games # 10M
+
+mkdir -p share-safe
+cp -a share/mk share-safe
+rm -rf share # 36M
+mv share-safe share
+
+mkdir -p sys/external-safe
+cp -a sys/external/bsd sys/external/isc sys/external-safe
+rm -rf sys/external # 29M
+mv sys/external-safe sys/external
+
-- 
cgit v1.2.3