Re: [racket-users] How to load net/jwt

2017-09-10 Thread Shu-Hung You
This command should install the net-jwt library for you:

raco pkg install net-jwt

--Shu-Hung

On Mon, Sep 11, 2017 at 9:15 AM, Chongkai Zhu  wrote:
> Hi all,
>
> https://docs.racket-lang.org/jwt/index.html
>
> It seems I just need to (require net/jwt) in racket 6.10 and everything
> should work. But:
>
> Welcome to DrRacket, version 6.10 [3m].
> Language: racket, with debugging; memory limit: 128 MB.
> . unsaved-editor:2:9: cannot open module file
>   module path: net/jwt
>   path: /usr/racket/collects/net/jwt.rkt
>   system error: No such file or directory; errno=2 in: net/jwt
>   no packages suggestions are available .
>
>
> So how should I install net/jwt? Thanks.
>
> Best,
> Chongkai
>
> --
> 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.

-- 
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] How to load net/jwt

2017-09-10 Thread Chongkai Zhu
Hi all,

https://docs.racket-lang.org/jwt/index.html

It seems I just need to (require net/jwt) in racket 6.10 and everything 
should work. But:

Welcome to DrRacket, version 6.10 [3m].
Language: racket, with debugging; memory limit: 128 MB.
. unsaved-editor:2:9: cannot open module file
  module path: net/jwt
  path: /usr/racket/collects/net/jwt.rkt
  system error: No such file or directory; errno=2 in: net/jwt
  no packages suggestions are available .


So how should I install net/jwt? Thanks.

Best,
Chongkai

-- 
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.