Slime Tips

Little known features of Slime.

1 note &

REPL history customization

There are two useful features which are turned off by default
slime-repl-history-remove-duplicates, when set to T removes duplicate entries.
slime-repl-history-trim-whitespaces, when set to T strips whitespace characters from the beginning and the end.

  1. slime-tips posted this