Я пишу make-файл, который очистит некоторые ненужные файлы в конце компиляции. Если цель уже была создана, она, конечно, пропустит эту цель, и бесполезный файл может не оказаться там. Так что, если я сделаю это:
rm lexer.ml interpparse.ml interpparse.mli Я могу получить ошибки, потому что один из файлов не существует. Есть ли способ сказать, rmчтобы игнорировать эти файлы?
Читая справочную страницу, я вижу следующую опцию:
-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. Это звучит почти как то, что я хочу, но я не совсем уверен в части разрешений. Есть ли способ сделать это?
-fВариант, безусловно, то, что вы хотите использовать.
Подтверждение о разрешениях файла, на которые оно ссылается, таково:
$ touch myfile $ chmod 400 myfile $ rm myfile rm: remove write-protected regular empty file `myfile'? Так rmчто предупредит вас, если вы попытаетесь удалить файл, на который у вас нет разрешения на запись. Это разрешено, если у вас есть права на запись в каталог, но это немного странно, поэтому rmобычно предупреждает вас об этом.
Another solution is this one: https://stackoverflow.com/questions/11231937/bash-ignoring-error-for-a-particular-command
Just add an OR-statement after your command:
rm -rf my/dir || true This way, when statement #1 fails (throws error), run statement #2, which is simply true.
Я опаздываю на вечеринку, но я использую это все время. В make-файле добавьте -в начало строки, чтобы игнорировать возвращаемое значение этой строки. Вот так:
-rm lexer.ml interpparse.ml interpparse.mli
Если вы не хотите использовать опцию -f, альтернативой является:
rm filethatdoesntexist 2> /dev/null Это только предотвратит печать ошибок.
Если вы найдете способ обуздать имена файлов, rmне будете жаловаться, если не сможете найти совпадение. Так что что-то вроде lexer.m* interpparse.*и т. Д. Должно работать для вас (будьте осторожны, вы не слишком много удаляете, конечно). Кроме того, -fэто вполне разумный способ, если вы не надеетесь, что права доступа к файлам избавят вас от удаления файла, который вы не хотели - если вы не хотите его удалять, не помещайте его в списке.
Опция -f означает, что вам не будет предложено, если что-то не так, как ожидалось. Это не значит, что разрешения не учитываются.
Если у вас недостаточно прав для удаления файла, он не будет удален.
НО, если у вас достаточно привилегий для изменения привилегий, ваш файл будет удален. Это тот случай, когда вы являетесь владельцем файла с правами только для чтения для владельца (-r --------). Как владелец, вы можете chmod u+w, а затем удалить его: rm -fудалит этот файл.
Может быть, может помочь строка, аналогичная с:
touch fakefile.exe fakefile.o && rm *.o *.exe Я знаю, что это не очень умно, но это делает работу.
Альтернатива:
RmIfIsFile() { for f in "$@"; do [ -f $f ] && rm $f; done; }; RmIfIsFile lexer.ml interpparse.ml interpparse.mli Жаль, что Makefiles не может совместно использовать определения функций оболочки между строками.
Вот что я использую в сценариях оболочки. Он скрывает сообщение об ошибке и код ошибки.
rm doesnotexist 2> /dev/null || echo > /dev/null Вы можете прикоснуться к файлам, прежде чем вы rm их. что бы создать их, если они не существуют :-)
touch lexer.ml interpparse.ml interpparse.mli rm lexer.ml interpparse.ml interpparse.mli