Skip to content

Per-package-manager and global default installation options#3685

Merged
Martí Climent (marticliment) merged 15 commits intomainfrom
per-package-manager-settings
Jun 6, 2025
Merged

Per-package-manager and global default installation options#3685
Martí Climent (marticliment) merged 15 commits intomainfrom
per-package-manager-settings

Conversation

@marticliment
Copy link
Copy Markdown
Collaborator

@marticliment Martí Climent (marticliment) commented May 21, 2025

Add the option to specify global and per-package-manager install options

  • This PR also prepares terrain for future Installation Options changes

fix #2059
fix #1755
fix #1599

Collateral fixes:
fix #2882

Plan

  • Identify modified settings, and set a boolean value to specify if the given object overrides the top-level (package overrides manager opts, manager overrides global opts)
  • Add UI checkbox to toggle said value
  • Add UI to change settings context (install vs update vs uninstall)
  • Add per-package-manager install options (UI)
  • Add per-package-manager install options (backend)
  • Add actual options toggle logic

@marticliment Martí Climent (marticliment) marked this pull request as ready for review June 6, 2025 17:11
@marticliment Martí Climent (marticliment) merged commit fbd143b into main Jun 6, 2025
2 checks passed
@marticliment Martí Climent (marticliment) deleted the per-package-manager-settings branch July 18, 2025 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant