3 for dir
in chroot
/{dev
/pts
,proc
,sys
,var
/lib
/dpkg
} ; do
4 if mountpoint
-q "$dir" ; then
13 # Remove generated files
14 rm -f config
/binary config
/bootstrap config
/chroot config
/common config
/source
16 # Remove empty directories in config tree
17 if ls config
/*/ > /dev
/null
2>&1 ; then
18 rmdir --ignore-fail-on-non-empty config
/*/
21 # files copied or created in the config stage
22 rm -f config
/chroot_local-includes
/etc
/amnesia
/environment
23 rm -f config
/chroot_local-includes
/etc
/amnesia
/version
24 rm -f config
/chroot_local-includes
/usr
/share
/doc
/amnesia
/Changelog
25 for list
in config
/chroot_local-packageslists
/*.list
; do
26 if [ "$list" != 'config/chroot_local-packageslists/tails-common.list' ]; then
31 # files copied or created in the build stage
32 rm -f config
/chroot_local-includes
/usr
/share
/amnesia
/build
/variables
35 rm -rf config
/chroot_local-includes
/usr
/share
/doc
/tails
/website wiki
/src
/.ikiwiki
36 find wiki
/src
-name *.pot
-exec rm {} \
;