Re: [racket-users] Search the Racket package catalog on the command line

[Jay McCarthy]

There is not a better way. I often use links.

Jay

On Sun, May 20, 2018 at 8:03 PM, Winston Weinert  wrote:
> Is there a way to search the Racket package catalog from the command line?
>
> I found "raco pkg catalog-show --all" lists all entries, but it appears to
> take some time, and requires some extra processing to search by name
> properly (such as using a script to parse by entry, and match against the
> name field, and show matches).
>
> Is there a better way?
>
> Thanks,
> Winston Weinert
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.



-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Search the Racket package catalog on the command line

[Winston Weinert]

Is there a way to search the Racket package catalog from the command line?

I found "raco pkg catalog-show --all" lists all entries, but it appears to 
take some time, and requires some extra processing to search by name 
properly (such as using a script to parse by entry, and match against the 
name field, and show matches).

Is there a better way?

Thanks,
Winston Weinert

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.