Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

[feature] show repository name next to package name in update/install outputs #809

Open
ygrek opened this issue Sep 7, 2013 · 3 comments
Open

[feature] show repository name next to package name in update/install outputs #809

ygrek opened this issue Sep 7, 2013 · 3 comments
Labels
KIND: FEATURE WISH

Comments

@ygrek
Copy link
Contributor

ygrek commented Sep 7, 2013

So that it is easy to see where the package to be installed comes from.
@samoht
Copy link
Member

samoht commented Sep 9, 2013

Good idea. Note however, this is displayed on opam info.

@ygrek
Copy link
Contributor Author

ygrek commented Sep 9, 2013

Yes, but I am thinking mostly of that long lists of packages which were updated after opam update or dependencies to be installed after opam install - not very convenient to check each one manually.

@samoht
Copy link
Member

samoht commented Sep 13, 2013

Moving this to 1.2

@AltGr AltGr modified the milestones: outgoing, 1.2 Mar 7, 2014
@rjbou rjbou removed this from the Next milestone May 20, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
KIND: FEATURE WISH
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@samoht @ygrek @AltGr @rjbou