diff options
author | Damien Zammit <damien@zamaudio.com> | 2023-06-24 11:27:12 +1000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-06-28 15:45:52 +0200 |
commit | 5616dc466d2e7f537ca807a36bd18a5cec7f4643 (patch) | |
tree | ae0cb4c526f09e5e3c00f04e37fb88ea5d31c41c | |
parent | e537899c07e5ab92482fc77c0a2731d5905a6397 (diff) |
debian: Add prune.sh script for cleaning upstream
-rwxr-xr-x | debian/prune.sh | 29 |
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 + |