Skip to content

Add the ability to disable the welcome banner #515

@jg791

Description

@jg791

It seems you can configure/turn off everything except the utop welcome banner (ignore the %%VERSION%% nonsense on my local build):

Image

While I'm sure it's well-intentioned, I find this unnecessary and it has a secondary effect that when you resize the window, the banner "breaks":

Image

IMO, there should be a way to disable this to look like prompts in other languages. utop is still superior to the default OCaml interpreter, so I don't want to give up fancy features like syntax highlighting or arrow keys 😀 by using the stock interpreter, but I would like the ability to turn off that welcome message.

I've submitted a PR here, with documentation updates, that adds this functionality: #514

(wasn't sure if I should submit an issue first for discussion, apologies if the PR was presumptuous)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions