leiningen 2025-05-20

Why lein ignore my profiles defined in ~/.lein/profiles.clj when my project's project.clj already define a profile with the same name, shouldn't merge it?

~/.lein/profiles.clj

{:repl {:dependencies [[dev.ericdallo/metrepl "0.3.4"]]}
my-project/project.clj
...
:profiles {:repl {}}
this already ignores the repl profile, if I remove the :repl {} it works

ah just missed this: > Remember that if a profile with the same name is specified in multiple locations, only the profile with the highest "priority" is picked – no merging is done. The "priority" is – from highest to lowest – profiles.clj, project.clj, user-wide profiles, and finally system-wide profiles. that sucks, I'd like to have the merge

Not sure if some metadata could make it merge.