Next: Standardeingabe und -ausgabe Up: Einfache Dateioperationen Previous: Auflisten des Inhalts

Kopieren, Umbenennen und Löschen von Dateien

Oft ist es nützlich, Dateien zu kopieren, bevor an ihnen Änderungen vorgenommen werden. Damit hält man sich die Möglichkeit offen, auf die ursprüngliche Datei zugreifen zu können, falls die vorgenommenen Änderungen nicht sinnvoll oder korrekt waren.

Der Befehl

cp dateiname copyname

kopiert die Datei dateiname in eine Datei mit dem Namen copyname.

Soll eine Datei in ein anderes Directory kopiert werden, geschieht dies mit dem Befehl

cp dateiname zieldirectory ,

wobei für das Zieldirectory der Pfadname angegeben werden muß.

Mit dem Befehl

mv dateiname neuername

wird der Name der Datei von dateiname zu neuername geändert.

Der Befehl

rm dateiname

löscht die Datei dateiname. Aber Vorsicht: gelöscht ist gelöscht. Zur Sicherheit sollte daher immer der Befehl

rm -i dateiname

eingegeben werden. Das Löschen wird dann nur nach nochmaliger Bestätigung durch den Benutzer ausgeführt.


JK