Oleg Pykhalov writes: […] > We probably should clean temporary $HOME directory with 'rm -rf' or > delete each file with 'rm' and then invoke 'rmdir' inside a Bash's > 'trap'. I fill worry about removing operations on $HOME directories. > > Alternative is not to remove $HOME by calling some command and just exit > from a namespace, which will remove $HOME mounted as tmpfs after exiting > a process running the guix-home.sh test. Actually, we could just point 'rm -rf' on '$test_directory'. :-)