I want to do some file transfers, and I would rather not bother the user with "replace?" alerts. One option will be to just use the trash, but I also want to offer the option of tacking on a character (or characters) to the end of the file name to mark the new file. What characters would be terminal-safe? One I am considering in "_" (old file would be "file.ext", new file would be "file_.ext", adding underscores until the name is unique). Are "@", "^", "~" or "`" good alternatives? (One character for file names, another for links/aliases.)