I don't think the tilde is referring to a shortcut for a home directory here, rather I think it's the first character in the filenames of the backup files he wa

I don't think the tilde is referring to a shortcut for a home directory here, rather I think it's the first character in the filenames of the backup files he was trying to delete.