Re: [racket-users] Using DrRacket interface language with scribble

2020-03-08 Thread Chongkai Zhu
Thanks. Robby, but the output in DrRacket is coming from 
https://github.com/racket/string-constants/blob/master/string-constants-lib/string-constants/private/simplified-chinese-string-constants.rkt#L1592
 
and working ...


在 2020年3月9日星期一 UTC+8上午2:38:04,Robby Findler写道:
>
> I hate to be a party pooper here but I think the first response is 
> incorrect. None of the programming language proper is translated; just the 
> IDE. I think this one translation is probably not what was intended. 
>
> Maybe someday someone can take on a Chinese version of the teaching 
> languages, hopefully!
>
> Robby
>
> On Sun, Mar 8, 2020 at 10:47 AM Chongkai Zhu  > wrote:
>
>> In DrRacket, if I set interface language to Chinese, I can get
>>
>> > (check-satisfied 1 odd?)
>> 测试通过!
>>
>> That is, the output of check-satisfied is also in Chinese. But with 
>> scribble/eval (https://docs.racket-lang.org/scribble/eval.html), in the 
>> .html generated by scribble, I always get
>>
>> > (check-satisfied 1 odd?)
>> The only test passed!
>>
>> How could I get the same Chinese output in the html output? Thanks.
>>
>>
>> -- 
>> 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...@googlegroups.com .
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/c608fcea-a770-4c57-ab2a-90da49c0508a%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/c608fcea-a770-4c57-ab2a-90da49c0508a%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/557bf94e-a27c-4b55-ba12-ef4e8edf81c6%40googlegroups.com.


[racket-users] Using DrRacket interface language with scribble

2020-03-08 Thread Chongkai Zhu
In DrRacket, if I set interface language to Chinese, I can get

> (check-satisfied 1 odd?)
测试通过!

That is, the output of check-satisfied is also in Chinese. But with 
scribble/eval (https://docs.racket-lang.org/scribble/eval.html), in the 
.html generated by scribble, I always get

> (check-satisfied 1 odd?)
The only test passed!

How could I get the same Chinese output in the html output? Thanks.

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/c608fcea-a770-4c57-ab2a-90da49c0508a%40googlegroups.com.


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