More/unique commands in interactive command history

34 views

Skip to first unread message

Anssi Moisio

unread,

Apr 10, 2025, 5:24:04 AMApr 10

to Grammatical Framework

Hi, is it possible to increase the number of commands stored in the history (.gf_history), which seems to be 100. And would it be possible to store just unique commands?

Thank you!

Anssi Moisio

unread,

Sep 1, 2025, 4:57:28 AMSep 1

to Grammatical Framework

These preferences can be changed by creating a file `~/.haskeline` with the lines: `maxhistorysize: Just 10000` and `historyDuplicates: IgnoreAll` or `IgnoreConsecutive`. See other haskeline preferences here: https://hackage.haskell.org/package/haskeline-0.8.2/docs/src/System.Console.Haskeline.Prefs.html#Prefs

Reply all

Reply to author

Forward

0 new messages