Tipp: Konsole: Verlauf in externer Datei abspeichern

Das Menü Verlauf bietet außerdem an, den Speicher als Text- oder HTML-Datei abzulegen. Klicken Sie auf Ausgabe speichern und geben Sie im folgenden Dialogfenster einen Namen an. Aus dem Drop-down-Menü Filter wählen Sie das Format (Einfaches Textdokument oder HTML-Dokument) aus. Die passende Dateiendung setzt das Programm automatisch richtig. Während die reinen Textdateien keine farblichen Hervorhebungen enthalten, präsentiert die HTML-Datei, die Farben der Konsole (Abbildung 6). Leider lässt hier die Formatierung etwas zu wünschen übrig, und auch die Umlaute sind falsch codiert.

Abbildung 6: Die HTML-Ausgabe des Verlaufsspeichers verwendet die Farben des Terminalfensters, patzt aber leider bei den Umlauten.

Tipp: Konsole: Besser navigieren mit Bookmarks

Die KDE-Konsole hilft dabei, durch den Linux-Verzeichnisbaum zu navigieren. Über das Menü Lesezeichen legen Sie Bookmarks zu oft besuchten Verzeichnissen an.

Um ein neues Lesezeichen zu erstellen, wechseln Sie mit dem Befehl cd in das gewünschte Verzeichnis. Danach wählen Sie aus dem Menü Lesezeichen / Lesezeichen hinzufügen oder drücken [Strg]+[Umschalt]+[B]. Im folgenden Dialog vergeben Sie einen Namen und klicken auf Hinzufügen – fertig.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 

Ähnliche Artikel

  • Wer mit dem Wolf hört
    Amarok hat das Zeug zu einer Killer-Applikation: Der Audio-Player spielt lokale Musiksammlungen, Internetradios, synchronisiert mit dem iPod, nutzt Last.fm und läuft nur unter Linux.
  • Auf halbem Weg
    Bis KDE 4 die bewährte 3.5.x-Serie komplett ersetzen kann, müssen die Entwickler noch einige Steine bewegen. Doch viele Programme sind bereits fertig. Dieser Artikel stellt Ihnen die wichtigsten darunter vor und zeigt, was sich gegenüber KDE 3 geändert hat.
  • Musiksammlung verwalten mit Amarok
    Mit seiner großen Anzahl beeindruckender Funktionen rockt der intuitive Mediaplayer Amarok die Party und liefert zugleich den alltäglichen Soundtrack bei der Arbeit.
  • Musikbox 2.0
    Amarok braucht den direkten Vergleich mit Apples iTunes nicht zu scheuen. Das Programm bietet weit mehr als das reine Abspielen von Musik.
  • Besser arbeiten mit KDE
    Das Rundum-Sorglos-Paket KDE ist mehr als eine komfortable Arbeitsumgebung: Anwendungen aus den Bereichen Grafik, Internet, Multimedia, Spiele und bündelweise praktische Tools erleichtern Ihnen den Alltag am PC. Wir verraten diesmal unter anderem Kniffe zum Text-Editor Kate, dem Alleskönner Amarok und Digikam.
Kommentare

Infos zur Publikation

title_2014_04

Digitale Ausgabe: Preis € 9,80
(inkl. 19% MwSt.)

EasyLinux erscheint vierteljährlich und kostet EUR 9,80. Weitere Informationen zum Heft finden Sie auf der EasyLinux-Homepage.

Das EasyLinux-Jahresabo mit Prämie kostet ab EUR 33,30. Details zum EasyLinux-Jahresabo finden Sie im Medialinx-Shop.

NEU: DIGITALE AUSGABEN FÜR TABLET & SMARTPHONE

HINWEIS ZU PAYPAL: Die Zahlung ist auch ohne eigenes Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!      

Tipp der Woche

Schnell Multi-Boot-Medien mit MultiCD erstellen
Schnell Multi-Boot-Medien mit MultiCD erstellen
Tim Schürmann, 24.06.2014 12:40, 0 Kommentare

Wer mehrere nützliche Live-Systeme auf eine DVD brennen möchte, kommt mit den Startmedienerstellern der Distributionen nicht besonders weit: Diese ...

Aktuelle Fragen

Artikelsuche
Erwin Ruitenberg, 09.10.2014 07:51, 1 Antworten
Ich habe seit einige Jahre ein Dugisub LinuxUser. Dann weiß ich das irgendwann ein bestimmtes Art...
Windows 8 startet nur mit externer Festplatte
Anne La, 10.09.2014 17:25, 4 Antworten
Hallo Leute, also, ich bin auf folgendes Problem gestoßen: Ich habe Ubuntu 14.04 auf meiner...
Videoüberwachung mit Zoneminder
Heinz Becker, 10.08.2014 17:57, 0 Antworten
Hallo, ich habe den ZONEMINDER erfolgreich installiert. Das Bild erscheint jedoch nicht,...
internes Wlan und USB-Wlan-Srick
Gerhard Blobner, 04.08.2014 15:20, 2 Antworten
Hallo Linux-Forum: ich bin ein neuer Linux-User (ca. 25 Jahre Windows) und bin von WIN 8 auf Mint...
Server antwortet mit falschem Namen
oin notna, 21.07.2014 19:13, 1 Antworten
Hallo liebe Community, Ich habe mit Apache einen Server aufgesetzt. Soweit, so gut. Im Heimnet...