как я могу удалить историю команд в swi-prolog

Итак, мне нравится возможность использовать клавиши со стрелками вверх и вниз для поиска по истории команд в Swi-Prolog вместо повторного ввода команд. Я хочу знать, как я могу удалить историю команд.


command-line history prolog prolog-toplevel swi-prolog
person quixote    schedule 21.04.2018    source источник

Ответы (1)


arrow_upward
1
arrow_downward

История для каждого каталога хранится в ~/.swipl-dir-history. Файлы там представляют собой имена каталогов в кодировке base32. Итак, остановите Prolog, найдите нужный файл, удалите его и перезапустите Prolog.

person Jan Wielemaker    schedule 22.04.2018