what would
do?

the command for destroying os & wiping own files is that simple if it works. Not sure though if one must wipe /home first in order to delete private files for good (don't know if that command wipes all files of system because haven't tried it for some mysterious reason).

of course one could fetch data with some undel - software and could be succesfull. but it really requires work to be done.