Bestimmte Zeichen am Ende eines Strings löschen
Re: Bestimmte Zeichen am Ende eines Strings löschen
Was ist denn schneller? Einmal alle Strings in ein Array (oder was es unter der Bash sonst noch gibt) einzulesen und die Dateinamen zu verarbeiten oder wirklich jedes mal die Datei auszulesen?
Re: Bestimmte Zeichen am Ende eines Strings löschen
Die Datei wird in tobos Vorschlag ja auch nur einmal gelesen ... und fuer jede Zeile ein Schleifendurchgang gemacht. Hast du wohl nur uebersehen.rannseier hat geschrieben:09.12.2022 08:44:09Was ist denn schneller? Einmal alle Strings in ein Array (oder was es unter der Bash sonst noch gibt) einzulesen und die Dateinamen zu verarbeiten oder wirklich jedes mal die Datei auszulesen?
Use ed once in a while!
Re: Bestimmte Zeichen am Ende eines Strings löschen
Im Zweifel testet man (die Annahme) einfach:
Code: Alles auswählen
readarray -t array <PATTERNLIST
for pattern in "${array[@]}";do FILENAME="${FILENAME//$pattern/XXX}";done