Am 30.06.22 um 21:11 schrieb Tobias Schlemmer:
Am 30.06.22 um 13:23 schrieb Jakob Mendel:
[...] $ alias rmTeX='rm -i *.aux *.log' [vs.] $ alias rmTeX='rm -i *.aux *.log 2> /dev/null'
warum nicht
alias rmTeX='rm -if *.aux *.log' ?
-f übersteuert -i und löscht ohne Rückfrage.
Willst Du wirklich bei jeder Datei gefragt werden, ob sie gelöscht werden soll?
Bei kleineren Projekten, bei denen ich die Hilfsdateien von der Kommandozeile aus lösche: JA, und zwar aus zwei Gründen: zum einen, um die Dateien einzeln löschen zu können, zum anderen, um quasi nebenbei zu sehen, welche Hilfsdateien überhaupt erzeugt werden.
Große Projekte werden dagagen per makefile verwaltet, und dort wird automatisch gelöscht.
Du kannst die Dateien auch liegen lassen und der .gitignore hinzufügen.
Stimmt. Sie sind dort auch schon vermerkt. :-)
Jakob