Schlagwort-Archive: History

Chromium bei der Suche in der History über die Adressleiste nicht annähernd so gut wie Firefox

Sowas wie Bookmarks benutze ich überhaupt nicht; wenn ich ein Projekt angucken will, dass ich schoneinmal in Firefox geöffnet hatte, dann reicht mir ein kleiner Teilstring, um dieses Projekt über die Suchfunktion in der Adressleiste von Firefox wiederzufinden.

Wenn das nicht tut, was sehr selten der Fall ist, dann gibt es noch die gesamte History.

Chromium bei der Suche in der History über die Adressleiste nicht annähernd so gut wie Firefox weiterlesen

Bash: Pimp my history

Per Voreinstellung werden in der .bash_history nur die letzten 500 Befehle gespeichert; das ist für meine Bedürfnisse viel zu wenig, schließlich möchte man sich auch noch Befehle von vor mehreren Wochen ins Gedächtnis holen. Glücklicherweise gibt es diesbezüglich ein paar Einstellungen für die Bash (siehe „man bash“),die entsprechenden Variablen fangen mit „HIST“ an.

Bash: Pimp my history weiterlesen