Terminal - File Doppelstrich wandeln
#!/bin/sh
#
# Doppelstrich in Dateinamen im aktuellen Verzeichnis ersetzen
# Trennung zwischen Dateinamen ist Newline:
IFS="
"
for i in $(find . -type f); do
ii=`echo $i | sed -e's/--/-/g' `
if [ $i != $ii ] ; then
mv $i $ii
echo "Datei $i wurde in $ii geändert!"
fi
done