Nieuws:

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Auteur Topic: Howto make History Bigger ?  (gelezen 930 keer)

Offline dorusone

  • Lid
Howto make History Bigger ?
« Gepost op: 2007/04/05, 12:44:57 »
ik wil graag een grotere History in het terminal venster.

Nu vond ik :

-----------------------------------------------------------------------------------------------

8     Rewriting History
    s Both of these problems stem from only writing history lines to disk when a shell exits
    s The solution is to append each line to the history individually
    s Specify this in .bashrc
          q Make Bash append rather than overwrite the history on disk:
             shopt -s histappend
          q Whenever displaying the prompt, write the previous line to disk:
             PROMPT_COMMAND=’history -a’
    s A new shell gets the history lines from all previous shells
If you’ve con

Offline Johan van Dijk

  • Administrator
    • johanvandijk
Howto make History Bigger ?
« Reactie #1 Gepost op: 2007/04/05, 13:01:40 »
.bahrc kan je gebruiken. .bash_profile kan denk ik ook, maakt niet zoveel uit.
Die bestanden staan gewoon in je home map, en kan je zichtbaar maken in Nautilus doorop control-h te drukken, of door in de menu's verborgen bestanden weergeven aan te zetten.

Offline dorusone

  • Lid
Howto make History Bigger ?
« Reactie #2 Gepost op: 2007/04/05, 13:37:19 »
Bedankt Johanvd

Heb .bashrc gevonden en shopt -s histappend
ingevoegd MAAR nu piept ie bij opstaten terminal

bash: shopt-s : command not found

Ligt dat aan Ubuntu distro of ?

Offline dorusone

  • Lid
Howto make History Bigger ?
« Reactie #3 Gepost op: 2007/04/05, 13:48:34 »
Is al opgelost :

heb het opnieuw ingetikt is nu ok Thx