New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Customize banner #3599
Comments
Sounds reasonable to me!
Did you mean that users would pass a |
Yeah that would be an option. It might be generic enough to support all the use cases maybe? |
I think that making this a customizable function would be best. I don't think the first line of the message is part of the help banner, so we probably don't even need the host/port params. |
I'm thinking it might actually be better to introduce some optional user banner function that takes every useful param we can think of and substitutes the help banner when present (or appears after it), given that the help banner is just static text. Something along those lines. |
Indeed. The fn could take a single nrepl-dict as a param, so that it can grow without breaking changes? |
Why a dict? It can just be some standard |
It's simply a nice / commonly used 'API', but no strong preference from my side. |
Maybe not exactly related, but I also saw that you can pass a custom |
When repling into live systems, it would be nice to make it clear that you are not connected to your local system.
Currently there is just a boolean
cider-repl-display-help-banner
but the actual banner is hard coded and not customizable.Ideally, the banner could be:
The text was updated successfully, but these errors were encountered: