Skip to content

Fix: Use unique identifier for installing packages#4578

Closed
severin-richner wants to merge 1 commit intobasecamp:devfrom
severin-richner:repo-based-pkg-install
Closed

Fix: Use unique identifier for installing packages#4578
severin-richner wants to merge 1 commit intobasecamp:devfrom
severin-richner:repo-based-pkg-install

Conversation

@severin-richner
Copy link

Summary

Packages installed via the Menu > Install > AUR actually end up using the omarchy repository, if there exists a package with the same name. This makes sure to install packages by identifying them with repo/pkg instead of just pkg.

Fixes #4577

Remark

(This implementation is taken from how I handled it in this rejected PR.)

@dhh
Copy link
Member

dhh commented Feb 17, 2026

Found a simpler fix. Appreciate the work on this though ✌️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

VSCode package outdated

2 participants