On Thu, May 2, 2013 at 7:29 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > [Jay will have to correct me if I have any part of this wrong...]
Nope, it was beautiful. > At Thu, 2 May 2013 11:31:09 +0200, Laurent wrote: > As an aside, the `raco pkg update' action is not restricted to packages > installed by package name; it also works with GutHub sources. If you > install via > > raco pkg install github://github.com/U/X/master > > then `raco pkg update' fetches the HEAD commit from GitHub. Again, that > install or update doesn't interact with the catalog. But it doesn't also > help if the repository's HEAD commit is buggy. One little note, the part of this URL 'master' can refer to any branch or tag. You could ask the developers to create a tag/branch for the correct commit. Or you could fork their repository and then revert the offending commit yourself (or create a tag, etc.) That's yet another solution to the problem. Jay -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93 ____________________ Racket Users list: http://lists.racket-lang.org/users