On 12/11/24 7:33 AM, Ray Soto wrote:
Hi! I've read the HTML manual and I have created a 'nice'
prompt for my machines as follows:
(use-modules ... (system repl common))
...
(repl-default-option-set! 'prompt
(string-append
(getlogin) "@" (gethostname) " > "))
What bothers me is that I ha
Hi! I've read the HTML manual and I have created a 'nice'
prompt for my machines as follows:
(use-modules ... (system repl common))
...
(repl-default-option-set! 'prompt
(string-append
(getlogin) "@" (gethostname) " > "))
What bothers me is that I have been unable to replicate
the default p
