Noob: Datei ersetzen aber wie?

Post Reply
Message
Author
Hans

Noob: Datei ersetzen aber wie?

#1 Post by Hans »

Hallo, ich würde gerne meine Mozilla Bookmarks ersetzen. Die alten liegen in "/opt/mozilla/defaults/profile". Wenn ich nun die neuen Bookmarks "Windows-Like in dieses Verzeichnis kopieren möchte habe ich dafür keine Berechtigung (?). Ich denke am einfachsten wird diese Aufgabe, wenn ich das mit der Kommandozeile als Root erledige. Richtig? Und wie mache ich dieses nun? Die Bookmarks liegen derzeit auf meinem Desktop...
Wäre super wenn mir jemand sagen könnte was ich eingeben muß und was diese Eingabe dann bedeutet. Danke.

P.S.: Könnte nicht mal jemand ein "wirklich" einsteigerfreundliches Buch zum Thema Linux schreiben? ;o)

cc

Re: Noob: Datei ersetzen aber wie?

#2 Post by cc »

der entsprechende Befehl lautet entweder cp (copy) oder mv (move) - der Unterschied ist klar, oder?

die Syntax lautet ungefähr so: mv /Lagerort_der_Bookmarks/*.* /opt/mozilla/defaults/profile/

Lagerort der Bookmarks (Desktop) dürfte von Windowmanager zu Windowmanager unterschiedlich sein. Halt irgendwo in deinem /home-Verzeichnis.
*.* ist der Platzhalter für alle Dateien in dem Unterordner

Hab´ ich irgendwas vergessen?

Post Reply