If there was already a file with the same name, would it be standard in Linux for a trash operation to overwrite it?