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_2015_01

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

Ubuntu 14.10 und VirtualBox
Ubuntu 14.10 und VirtualBox
Tim Schürmann, 08.11.2014 18:45, 2 Kommentare

Wer Ubuntu 14.10 in einer virtuellen Maschine unter VirtualBox startet, der landet unter Umständen in einem Fenster mit Grafikmüll. Zu einem korrekt ...

Aktuelle Fragen

Rootpasswort
Jutta Naumann, 29.01.2015 09:14, 1 Antworten
Ich habe OpenSuse 13.2 installiert und leider nur das Systempasswort eingerichtet. Um Änderungen,...
Neue SuSE-Literatur
Roland Welcker, 14.01.2015 14:10, 1 Antworten
Verehrte Linux-Freunde, seit Hans-Georg Essers Buch "LINUX" und Stefanie Teufels "Jetzt lerne ich...
DVD abspielen unter openSUSE 13.1
Michael Pfaffe, 12.01.2015 11:48, 6 Antworten
Hallo Linuxer, Bisher habe ich meine DVD´s mit linDVD unter openSUSE abgespielt. Mit der Versi...
Kontrollleiste SuSE 12.3 gestalten
Roland Welcker, 31.12.2014 14:06, 1 Antworten
Wie bekomme ich das Icon eines beliebigen Programms (aktuell DUDEN) in die Kontrollleiste und kan...
flash-player
roland reiner, 27.12.2014 15:24, 7 Antworten
Mein Flashplayer funktioniert nicht mehr-Plug in wird nicht mehr unterstütz,auch über google chro...