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.