I'm sorry to hear about your project, but all might not be lost.
If you haven't already, you can try deleted file recovery, since the file(s) contents may be still intact on your disk, and merely unlinked from their directory entries. The sooner you try to recover, before further writing to the disk, the better. If you have use of a second drive (that you can erase), and ideally a second (Linux) computer, you can make a raw image of the disk with the lost files, and then recover them at your leisure without risk of further writes to the disk overwriting the blocks of your file.
I do see a `recover-file` procedure in "gui-lib/framework/private/autosave.rkt", which is deleting files that it thinks it no longer needs. Maybe it should be renaming the files instead of deleting, since already something has gone wrong, and data is at stake. I don't know whether this is the recovery operation you saw, but this is plausible evidence that the dog did eat your homework, if you need to talk with a teacher or coworkers about time to reconstruct lost work.
Proactively, in the future, it's easy to forget while immersed in a project, but we have to try to remember to do frequent backups, especially when in a project crunch. This can means periodically checking in to an SCM system like Git, emailing the files to yourself, copying the files on the same disk ("myfile.c.backup-1", "myfile.c.backup-2") perhaps in a different directory, copying to a second disk on the laptop, copying to a removable USB drive you store physically separate from laptop (not to get stolen with same bag as laptop), doing a normal full machine backup, etc.
Again, sorry to hear about your project, but I hope file recovery works. If it's any consolation, I think most people lose files in life, at one time or another, and some of us (including me) have done it in a much more spectacular and costly fashion than you might have, this time.
Neil V. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
