diff options
author | Daniel Baumann <daniel@debian.org> | 2008-01-17 18:15:11 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 18:35:54 +0100 |
commit | 74b2c5778d24951accb7a46b120390bdfbb34fc2 (patch) | |
tree | 04e8efeebfc81452c8d9ca22ef15ee21337cb805 /hooks/mini | |
parent | 349dfe0e5bbfd637fe33259bd66957057aaf14be (diff) | |
download | live-build-74b2c5778d24951accb7a46b120390bdfbb34fc2.zip live-build-74b2c5778d24951accb7a46b120390bdfbb34fc2.tar.gz |
Renaming mini flavour to stripped to avoid confusion, thanks to Fathi Boudra <fabo@debian.org> and Ben Armstrong <synrg@debian.org>.
Diffstat (limited to 'hooks/mini')
-rwxr-xr-x | hooks/mini | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/hooks/mini b/hooks/mini deleted file mode 100755 index 9d99e81..0000000 --- a/hooks/mini +++ /dev/null @@ -1,48 +0,0 @@ -#!/bin/sh - -# /usr/share/live-helper/hooks/mini - hook list for live-helper(7) -# Copyright (C) 2006-2007 Daniel Baumann <daniel@debian.org> -# -# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. -# This is free software, and you are welcome to redistribute it -# under certain conditions; see COPYING for details. - -set -e - -# Removing unused packages -for PACKAGE in apt-utils aptitude man-db manpages info wget dselect -do - if ! apt-get remove --purge --yes "${PACKAGE}" - then - echo "WARNING: ${PACKAGE} isn't installed" - fi -done - -apt-get autoremove --yes || true - -# Removing unused files -find . -name *~ | xargs rm -f - -rm -rf /usr/include/* -#rm -rf /usr/share/groff/* -rm -rf /usr/share/doc/* -rm -rf /usr/share/locale/* -rm -rf /usr/share/man/* -rm -rf /usr/share/i18n/* -rm -rf /usr/share/info/* -rm -rf /usr/share/zoneinfo/* -rm -rf /var/cache/man/* - -# Cleaning apt lists -rm -rf /var/lib/apt/lists -mkdir -p /var/lib/apt/lists/partial - -# Cleaning apt cache -rm -rf /var/cache/apt -mkdir -p /var/cache/apt/archives/partial - -# Truncating logs -for FILE in $(find /var/log/ -type f) -do - : > ${FILE} -done |