if (picinfo[f].deleted == "deleted") {
commands.push("shred -u " + escaped_filename);
} else if (picinfo[f].deleted == "extra") {
- commands.push("mv " + escaped_filename + " \"$EXTRADIR\"");
+ commands.push("mv -vi " + escaped_filename + " \"$EXTRADIR\"");
} else if ("name" in picinfo[f] && picinfo[f].name.length > 0) {
var command = ["pic-mv"];
if ("exposure" in picinfo[f]) {