@thegibson It was the early nineties while I was in university and I wanted to try out linux on my dad's 486dx2-50. Dual boot on a separate partition went well, and I even set up a mount point for the dos/win partition. After a few weeks Dad needed more diskspace on the dos/win, so I decided to wipe the linux partition... as a first step I decided `sudo rm -rf /` was a pretty good move.
@woozong @thegibson Sounds like you would have plenty of space immediately after.