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