Shell prompt

[Vlad Dumitrescu]

Hi all,

I would like to make the default shell quiet, i.e. not print a prompt. From
what I see in the code, I would need to hack either shell.erl or user.erl,
which I am reluctant to do (not that it's difficult, but there's already
many modules that I need to hack for erlide :-)

Is there a way that I missed?

If not, could it be of general interest to add an option to shell.erl so
that it's more configurable? I will provide a patch.

regards,
Vlad