Как настроить количество истории команд, сохраненных GHCi?

По умолчанию GHCi сохраняет 100 строк истории команд в ~/.ghc/ghci_history. Могу ли я увеличить этот номер?

Я использую GHC 7.6.3 в GNU/Linux.

Ответы

Ответ 1

В моей системе (GNU/Linux, GHC 7.6.3) GHCi построен против библиотеки haskeline. Согласно этот документ, его можно настроить, отредактировав файл ~/.haskeline:

maxhistorysize: Just 1000

Ответ 2

Как обсуждалось, это решение для Mac OSX, другой ответ для Linux. Я нашел то, что вы ищете здесь в основном копирует вставку соответствующей информации и форматирует ее ниже.

По умолчанию используется история из 100 команд, но вы можете изменить это, добавив эту строку в свой ~/.ghc/ghci.conf:

System.Console.Editline.Readline.stifleHistory 1000

что увеличит вашу историю до 1000 команд.