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
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ähnliche Artikel

  • Mit Würze
    Mit Amarok bringt KDE einen soliden Audioplayer mit, der bereits von Haus aus zahlreiche Funktionen beherrscht. Fehlt Ihnen trotzdem das gewisse Etwas, finden Sie in diesem Artikel einige Rezepte.
  • 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.
  • Besser arbeiten mit KDE
    Diesmal geht es in den KDE-Tipps vor allem um das Kommunizieren. Wir erklären Ihnen, wie Sie sich im Chat oder per Mail mit anderen KDE-Anwendern über Probleme und Fragen austauschen können und wie Sie sich besser mit Ihrem System verstehen.
  • 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

EL 01/2016: Daten sichern und synchronisieren

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!      

Der Tipp der Woche

Schon gewußt?

14.11.2015

Auch unter Ubuntu 15.10 kann man wieder mit dem Startmedienersteller (alias Startup Disk Creator) ein Live-System auf einem USB-Stick einrichten. ...

Fehler des Startmedienerstellers von Ubuntu 15.10 umgehen

Aktuelle Fragen

Leap 42.1 und LibreOffice
Heinz Kolbe, 09.02.2016 21:54, 0 Antworten
Moin moin, auf meinem Notebook habe ich Leap 42.1 und Win 10 installiert. Alles läuft rund nur...
Tails Update
Val Lerie, 11.01.2016 10:51, 0 Antworten
Hallo zusammen, updaten > update Speichern unter > Persistent nicht möglich, mit der Meldung;...
Recoll
Jürgen Heck, 20.12.2015 18:13, 4 Antworten
Wie kann man mit Recoll nach bestimmten Zeichen/Satzzeichen bzw. Zeichenkombinationen suchen, z....
Wings Platinum 4 auf Linux?
Bodo Steguweit, 18.12.2015 11:37, 4 Antworten
Hallo in die Runde ich nutze für meine Diashows Wings Platinum 4 als Diareferent. Arbeite jetzt...
Bandbreite regulieren
Georg Armani, 25.11.2015 16:50, 1 Antworten
Hallo, ich bin ein Neuling in Sachen Linux und hoffe auf Hilfe. Ich habe zwei Windows Rechner...