Feature Request: user add directives

[nodrygo]

Should be great if a user was able to add some personal directives on the utop config file I would love to see some directives like this #ls #pwd #edit (* with vim or emacs choice *) #! #doc 'xxx' ect..... Is it possible ? thank's

[ghost]

Yes, you can do it using the Toploop.add_directive from OCaml. Regarding the external editor, in the development version of lambda-term, you can do C-x C-e to start an external editor, so this will be available in the next version

[nodrygo]

Thank you I have yet to understand how to do but the answer is clear

[nilsbecker]

this is nice, but some more default directives would be useful i find. i have been missing #ls, and as a stop-gap #! sorely.