Support #:name in deps
What version of Racket are you using? 8.5 [cs]
A dependency, which is a package source string, could be a remote URL naming a Git repository. However, the repo name could be invalid package name. Examples include https://github.com/takikawa/pprint.plt and https://github.com/samth/javascript.plt
It would be nice if we can specify:
["https://github.com/takikawa/pprint.plt.git" #:name "pprint"]
as a dependency, and it would essentially run raco pkg install --name pprint https://github.com/takikawa/pprint.plt.git when installing the dependency.
Hi I run into this issue recently. I think this is not a feature request, but a proper bug in the design that confuses end users and new package contributors.
Example of the problems this approach creates: catppuccin/drracket#7
I think the proper fix is to priorities #name field from the info.rkt and produce a warning when this field is omitted when raco pkg is invoked.