Re: [racket-users] package manager woes on Windows 10?

2020-09-09 Thread George Neuner



On 9/9/2020 10:05 PM, Shriram Krishnamurthi wrote:
Thank you. Can you imagine why the proxy would affect DrRacket but not 
the Web browser?


DrRacket and the browser can be configured independently ... at least 
for a known proxy.    DrRacket's setting is in preferences under 
"browser".  However, if your student is on campus (or at work?), he/she 
may be behind an upstream system-wide firewall or proxy which is unknown.


Commercial firewalls can read request headers and pass/fail based on the 
"user agent" string so as to allow known browsers and other vetted 
applications to operate while rejecting requests from unvetted applications.


I don't know if DrRacket even sends a "user agent" string.

George

--
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/40d69d4d-81cc-525f-5bc2-b22a8f6eb50f%40comcast.net.


Re: [racket-users] package manager woes on Windows 10?

2020-09-09 Thread Shriram Krishnamurthi
For what it's worth, one of my TAs now informs me he got the same
error on macOS
11.0 Beta.

He says he just has the standard macOS firewall. He whitelisted DrRacket
and it persists.

I asked him to try installing Racket 7.7 and installing the package through
that; same issue.

He was only able to get it working from the command-line.

Shriram

-- 
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/CAJUf2ySTYDNAFgLn2e%2BRUZtKjo0_2BUp1ZMccsGrOo%3DkGi2acw%40mail.gmail.com.


Re: [racket-users] package manager woes on Windows 10?

2020-09-09 Thread Shriram Krishnamurthi
Thank you. Can you imagine why the proxy would affect DrRacket but not the
Web browser?

-- 
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/CAJUf2yQiPVrCNa8THaAnw5cbycYqjukSD6pgpUU5Kqt-xfehig%40mail.gmail.com.


Re: [racket-users] package manager woes on Windows 10?

2020-09-09 Thread George Neuner



From the error message, it looks like a firewall/proxy issue.

It definitely is not the package itself:  I'm still on Racket 7.7, but 
it works for me.  I tried both with 64 and 32 bit BC on Win10 1909 - the 
package and its dependencies install for me without errors  [but I don't 
know how to test the install  8-)]


George


On 9/9/2020 9:00 PM, Shriram Krishnamurthi wrote:
I have a student using Racket 7.8 on Windows 10 (v. 1909) who can't 
get a package to install that he needs to do homework. Does anyone 
else recognize this phenomenon? Thanks for any advice — none of us has 
Windows so we can't even reproduce this. He has restarted DrRacket, 
confirmed he can connect to the repo via his browser, tried several 
times (so it's not intermittent network outage), confirmed he's 
copying-and-pasting the URL.


It's probably something obvious that I'm just not spotting. Extra eyes 
would be much appreciated given that the clock's ticking on his homework!


The repo in question is

https://github.com/shriram/mystery-languages/
https://github.com/shriram/mystery-languages.git


Thanks!
Shriram



--
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/d856cb76-928f-3d69-d292-1a8f8b1e5240%40comcast.net.


Re: [racket-users] locally linked package name doesn't match info collection name

2020-09-09 Thread Philip McGrath
There was a `pkg-name` info.rkt item added in 20672cd
,
but it only seems to be used by `make-dirs-catalog`
.
Maybe it should also be used by "raco pkg install" unless "--name" is given
explicitly?

-Philip


On Wed, Sep 9, 2020 at 9:09 PM Shriram Krishnamurthi 
wrote:

> I'm curious why the Package Manager doesn't also show the collection name
> (or plural)? Wouldn't I need that to trace backwards? "This program in
> #lang foo is behaving oddly, I wonder what foo's source is" — find the
> collection in the PM, trace back to the package, locate the source…?
>
> --
> 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/CAJUf2yQqHiryeTsn8Az2PqWPbXV2YwLxGxtNPK_UEVJyGPcJpw%40mail.gmail.com
> 
> .
>

-- 
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/01000174759e0aa8-b30af989-9083-4f74-be9d-d07bc303e11c-00%40email.amazonses.com.


Re: [racket-users] locally linked package name doesn't match info collection name

2020-09-09 Thread Sam Tobin-Hochstadt
For that, I recommend "Open require path" in the File menu in DrRacket.

Sam

On Wed, Sep 9, 2020, 9:09 PM Shriram Krishnamurthi 
wrote:

> I'm curious why the Package Manager doesn't also show the collection name
> (or plural)? Wouldn't I need that to trace backwards? "This program in
> #lang foo is behaving oddly, I wonder what foo's source is" — find the
> collection in the PM, trace back to the package, locate the source…?
>

-- 
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/CAK%3DHD%2BYGvMDEpVJjnJHztvkQM2L5Ft_CyYXvKCODSKKFsc_H5w%40mail.gmail.com.


Re: [racket-users] locally linked package name doesn't match info collection name

2020-09-09 Thread Shriram Krishnamurthi
I'm curious why the Package Manager doesn't also show the collection name
(or plural)? Wouldn't I need that to trace backwards? "This program in
#lang foo is behaving oddly, I wonder what foo's source is" — find the
collection in the PM, trace back to the package, locate the source…?

-- 
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/CAJUf2yQqHiryeTsn8Az2PqWPbXV2YwLxGxtNPK_UEVJyGPcJpw%40mail.gmail.com.


Re: [racket-users] locally linked package name doesn't match info collection name

2020-09-09 Thread Sam Tobin-Hochstadt
This is all as expected. The package name is mystery-language-uploader, but
the collection name is mystery-language. The info.rkt entry controls the
latter but not the former [1]. If you're linking it on the command line,
you can use a command line option to specify the package name to use.

[1] This is necessary, since you need to know the package name in general
to find the info.rkt file in the first place.

Sam

On Wed, Sep 9, 2020, 9:03 AM Shriram Krishnamurthi 
wrote:

> This is almost certainly intended and/or I may have totally misunderstood
> the semantics of the info file, but this feels a bit confusing:
>
> I have a package on my filesystem in the directory
> mystery-languages-uploader. The "-uploader" part is a local name that's
> not intended for public consumption, so its info.rkt contains this:
>
> (define collection "mystery-languages")
>
> Sure enough, I am able to use the content of that directory using, e.g.,
>
> #lang mystery-languages/…
>
> However, the Package Manager only shows an entry (in the "Name" column)
> for "mystery-languages-uploader", not "mystery-languages". (The "Source"
> column shows the right folder, and the search box under "Currently
> Installed" does not show any other package of similar name.)
>
> I would have expected the collection setting to cause the Name showing in
> the Package Manager to be just "mystery-languages", which would also help
> me understand where that #lang is coming from.
>
> Shriram
>
> --
> 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/f99c0426-cb6e-478b-a794-dec114f8cef7n%40googlegroups.com
> 
> .
>

-- 
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/CAK%3DHD%2Bb1%3Dwwp3w4uJbdfbqFWHt7W1DP-w-4oS06GeP6M1Wx4qA%40mail.gmail.com.


[racket-users] Frequently-Asked-Questions on Racket Wiki

2020-09-09 Thread Stephen De Gabrielle
Hi Racketeers, 

I’ve made a little FAQ on the wiki

https://github.com/racket/racket/wiki/Frequently-Asked-Questions

please let me know if you see any problems.

Kind regards, 

Stephen

-- 
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/869ad601-e647-40a0-bfcb-8ddee08ef8a2o%40googlegroups.com.


[racket-users] locally linked package name doesn't match info collection name

2020-09-09 Thread Shriram Krishnamurthi
This is almost certainly intended and/or I may have totally misunderstood 
the semantics of the info file, but this feels a bit confusing:

I have a package on my filesystem in the directory 
mystery-languages-uploader. The "-uploader" part is a local name that's not 
intended for public consumption, so its info.rkt contains this:

(define collection "mystery-languages")

Sure enough, I am able to use the content of that directory using, e.g.,

#lang mystery-languages/…

However, the Package Manager only shows an entry (in the "Name" column) for 
"mystery-languages-uploader", not "mystery-languages". (The "Source" column 
shows the right folder, and the search box under "Currently Installed" does 
not show any other package of similar name.)

I would have expected the collection setting to cause the Name showing in 
the Package Manager to be just "mystery-languages", which would also help 
me understand where that #lang is coming from.

Shriram

-- 
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/f99c0426-cb6e-478b-a794-dec114f8cef7n%40googlegroups.com.