this post was submitted on 28 Jan 2024
32 points (94.4% liked)
Programming
17325 readers
119 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Can't this all be deduced from the URI?
The .git suffix indicates git, the project name is the stem (project).
Nix does something like this with the protocol specifier: e.g.
git+https://...
I'm not sure what
name
means here exactly, but it might make sense to treat that separately, like git remotes:tool add [name] git+https://foo
That is assuming it's hosted on github.
That is an example URI.
Ok, then I don't understand at all. What happens if I host my git project on
https://myawesomeproject.dev/
? How can the application infer anything by this URL?Then replace "github.com" with "myawesomeproject.dev". There's more to the URI than just the hostname.
But you can't assume that it follows the github format of
https://<domain>/<user>/<project>.git
. In my example, I meant that you would just use that url to clone it:One real-world example of this is ziglings.org (though it's technically just a redirect).
That's not a GitHub format; it's a git format.
No, it isn't. Git doesn't care what the url is, as long as it uses a supported transport protocol.