Benutzer-Werkzeuge

Webseiten-Werkzeuge


history

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Nächste Überarbeitung
Vorhergehende Überarbeitung
history [2008/06/22 17:29]
127.0.0.1 Externe Bearbeitung
history [2015/09/06 21:27] (aktuell)
admin
Zeile 1: Zeile 1:
-===history===+====== history ​======
  
   *[[http://​webtools.live2support.com/​linux/​history.php|history]]   *[[http://​webtools.live2support.com/​linux/​history.php|history]]
   *history -d n -> n.te Eintrag wird gelöscht   *history -d n -> n.te Eintrag wird gelöscht
 +
 +===== Befehle in der History mit Up- und Down-Taste vervollständigen =====
 +
 +debian: /​etc/​.inputrc oder ~/.inputrc mit folgendem Inhalt erstellen
 +
 +  "​\e[A":​ history-search-backward
 +  "​\e[B":​ history-search-forward
 +
 +Funktioniert erst nach einem Neustart des Terminals
 +
 +[[http://​peer.st/​dw/​doku.php?​id=konsole&​s[]=leertaste|Eintrag in die history unterdrücken]]
history.1214148593.txt.gz · Zuletzt geändert: 2015/09/06 21:23 (Externe Bearbeitung)