The file was accidentally deleted a few minutes ago on another computer running Windows. It was not put in the Recycle Bin. I know the folder and filename. I know how to use the cmd prompt. I thought maybe chkdsk had a function to recover a file, but the help doesn’t make that at all clear. Does this require a separate program that I would have to download? I hope not!