> On Oct 23, 2015, at 2:09 PM, Matthew Flatt <
mfl...@cs.utah.edu> wrote:
>
> Use
>
> raco pkg update --lookup <pkg>
>
> to revert to un-cloned mode, and then you can try `--clone` again.
Yep, that’s right there, isn’t it. I suppose I expected it to be part of
/ --link : Link a directory package source in place (default for a directory)
| --static-link : Link in place, promising collections do not change
| --copy : Treat directory sources the same as other sources
| --clone <dir> : Clone Git and GitHub package sources to <dir> and link
| --source : Strip packages' built elements before installing; implies --copy
| --binary : Strip packages' source elements before installing; implies --copy
\ --binary-lib : Strip source & documentation before installing; implies —copy
I’ll just console myself with the thought that perhaps others will search and find this thread useful.
Thanks!
John