summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Zammit <damien@zamaudio.com>2023-06-24 11:27:12 +1000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-06-28 15:45:52 +0200
commit5616dc466d2e7f537ca807a36bd18a5cec7f4643 (patch)
treeae0cb4c526f09e5e3c00f04e37fb88ea5d31c41c
parente537899c07e5ab92482fc77c0a2731d5905a6397 (diff)
debian: Add prune.sh script for cleaning upstream
-rwxr-xr-xdebian/prune.sh29
1 files changed, 29 insertions, 0 deletions
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
+