J'écris un fichier makefile qui va nettoyer des fichiers inutiles à la fin de la compilation. Si une cible a déjà été créée, elle sera bien sûr ignorée et le fichier inutile pourrait ne pas y figurer. Donc si je fais ça:
rm lexer.ml interpparse.ml interpparse.mli
Je risque d’obtenir des erreurs car l’un des fichiers n’existe pas. Est-il possible de dire rm
d'ignorer ces fichiers?
En lisant la page de manuel, je vois l’option suivante:
-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.
Cela ressemble presque à ce que je veux, mais je ne suis pas vraiment sûr de la partie autorisations. Y a-t-il un moyen de faire cela?
-f
toujours de le supprimer avec l' option. Ça va échouer. Il ne vous dira pas qu'il a échoué. Utile si le nom de fichier est une variable ou un glob.
rm --interactive=never
qui agit comme rm -f
sauf que ça retourne un état de sortie d'erreur. voir ici pour plus de détails: unix.stackexchange.com/questions/72864/…
rm
dans un bac à sable? On dirait-f
que vous faites exactement ce que vous voulez, quel que soit le dépassement.