leiningen

ericdallo 2025-05-20T20:27:51.064429Z

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?

ericdallo 2025-05-20T20:29:08.017529Z

~/.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

ericdallo 2025-05-20T20:29:26.927289Z

i'd expect to merge the coll as stated in https://github.com/technomancy/leiningen/blob/github/doc/PROFILES.md#merging

ericdallo 2025-05-20T20:31:07.292059Z

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

2025-05-22T02:47:40.750879Z

Not sure if some metadata could make it merge.