Sto scrivendo un makefile che pulirà alcuni file inutili alla fine della compilation. Se un target è già stato creato, ovviamente salterà quel target e il file inutile potrebbe non essere lì. Quindi se lo faccio:
rm lexer.ml interpparse.ml interpparse.mli
Potrei ricevere errori perché uno dei file non esiste. C'è un modo per dire rm
di ignorare questi file?
Nella lettura della pagina man, vedo la seguente opzione:
-f Attempt to remove the files without prompting for confirma-
tion, regardless of the file's permissions. If the file does
not exist, do not display a diagnostic message or modify the
exit status to reflect an error. The -f option overrides any
previous -i options.
Sembra quasi quello che voglio, ma non sono davvero sicuro della parte dei permessi. C'è un modo per fare questo?
-f
opzione di eliminarlo. Fallirà. Non ti dirà che è fallito. Utile se il nome file è una variabile o un glob.
rm --interactive=never
che si comporta come rm -f
se non restituisse uno stato di uscita dell'errore. vedi qui per maggiori dettagli: unix.stackexchange.com/questions/72864/…
rm
in una sandbox? Sembra che-f
faccia esattamente quello che vuoi, indipendentemente dal travolgimento.