Dateiname ändern

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.

schnelles Navigieren

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.