3 for dir
in chroot
/{dev
/pts
,proc
,sys
} ; do
4 if mountpoint
-q "$dir" ; then
9 lh clean noautoconfig
${@}
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 # Remove unpacked /home/amnesia
22 rm -rf config
/chroot_local-includes
/home
/