Opened 5 years ago
Last modified 5 years ago
#58656 new enhancement
Show URL in "port info" — at Version 7
Reported by: | FranklinYu (Franklin Yu) | Owned by: | |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | base | Version: | |
Keywords: | Cc: | chrstphrchvz (Christopher Chavez) | |
Port: |
Description (last modified by FranklinYu (Franklin Yu))
Homebrew shows URL of a formula in brew info
. It would be cool if MacPorts shows similar things. For example, when I do port info giflib
I would like to see
Portfile URL: https://github.com/macports/macports-ports/blob/master/graphics/giflib/Portfile
Change History (7)
comment:1 Changed 5 years ago by FranklinYu (Franklin Yu)
Description: | modified (diff) |
---|
comment:2 Changed 5 years ago by jmroot (Joshua Root)
comment:3 Changed 5 years ago by chrstphrchvz (Christopher Chavez)
I don't think the functionality you suggest is necessarily a bad idea; I do something similar quite often by working on a local copy of the macports-ports repository, using the GitLens extension for Visual Studio Code and asking it to "open file on remote". But I don't know that it fits the existing scope of port info
, whose output is based entirely on the contents of a portfile.
Some user would also find it useful if port info also displays path to local Portfile
This is already available from port file
.
comment:4 Changed 5 years ago by chrstphrchvz (Christopher Chavez)
Cc: | chrstphrchvz added |
---|
comment:5 Changed 5 years ago by ryandesign (Ryan Carsten Schmidt)
I don't know that I would necessarily display the Portfile's GitHub URL in the port info
output. port info
should be for users; the GitHub URL is for developers. Once the GSoC '19 MacPorts Web App is finished and deployed, we'll have user-facing pages for each port; we could display that URL in port info
.
However, I do have a shell function set up on my own system which gives me a port gh
command that opens a Portfile's GitHub URL, so I realize that this can be useful.
comment:6 Changed 5 years ago by FranklinYu (Franklin Yu)
I don’t really care whether it’s in port info
or port portfile-url
; I just want some way to get it from CLI. Way faster than copy the name and paste it in ports.php
.
comment:7 Changed 5 years ago by FranklinYu (Franklin Yu)
Description: | modified (diff) |
---|
Not opposed to having a way to find this out, but it shouldn't be in the default output of port info.