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