Skip to content

Emit a warning when the config file is found at the wrong location #507

@qexat

Description

@qexat

The path for utoprc used to be $XDG_CONFIG_HOME/utoprc, but #484 has changed it to $XDG_CONFIG_HOME/utop/utoprc -- as the former was rightfully deemed incorrect. However, no measures for smooth transitioning from one to the other were taken ; as such, it is likely that many setups were affected by a breaking change with no notice on why code highlighting stopped working nor how to fix it.

While providing a fix for something adjacent in #506, I proposed to emit a warning for some time at the opening of utop if a file at the former location is detected.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions