Tipscorner

Tipps und Tricks für verschiedene Dinge im Leben

Archive for the ‘Shell’ Category

Dateiname ändern

leave a comment »


Wie du weisst, unterscheidet Linux Groß- und Kleinschreibung.
Wenn du Dateien vom Windows-Betriebssystem auf Linux kopierst, könnten sich die Dateiendungen auf Grossbuchstaben verändern.
Eine schnelle und automatische Änderung kannst du mit dem folgenden Befehl ausführen (für Dateiendung *.doc ):

for a in *.DOC ; do echo mv -i $a `basename $a .DOC`.doc ;
done

Das Parameter „-i“ ist zur Sicherheit, damit nicht zwei verschiedene Dateien mit dem gleichen Namen geändertwerden.

Advertisements

Written by MrT

Mai 14, 2005 at 19:53

Veröffentlicht in Shell

schnelles Navigieren

leave a comment »


Wenn man mit Bash arbeitet und sich in den Tiefen des Unix- Verzeichnisbaums bewegt, kann man durch den Einsatz von Bash-Befehl pushd und popd viel Tipparbeit sparen.

Anstatt cd benutzt man pushd ,um das aktuelle Verzeichnis zu stapeln. Also:

pushd /der/lange/Verzeichnisname

Wenn man später zum ursprünglichen Verzeichnis zurückkehren will, benutzt er den Befehl popd
Mit dem Befehl:

cd –

gelangt man zum letzten Verzeichnis.

Written by MrT

Mai 14, 2005 at 17:20

Veröffentlicht in Programmierungssprache, Shell

Tagged with , , , ,