You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I see that these profiles are merged in with plain merge. So if you put {:user {whatever}} in /etc/leiningen/profiles.clj, then all of whatever is nuked by the existence of a :user profile in ~/.lein/profiles.clj, without warning.
@djpowell Yes, that is the intent. The priority is default profiles, system profiles, user profiles, project profiles and then finally project map profiles (the later, the better).
So, for the use-case described in the original issue; if you define a system-wide :repositories mirror for :user at system level, then the mere existence of :user at the user profile, will deactivate that mirror, even if there is no :repositories key at user level?
Given that user-level :user will almost always exist, this doesn't seem to help with the original use-case?
Yeah, so this was requested by the guy doing Debian packaging, but I think it's not really useful unless we add another activated-by-default profile. Maybe :system.
This would be useful for systems like Debian that want to offer a system-wide repository mirror.
The text was updated successfully, but these errors were encountered: