Shriram, have you ruled out the classic multi-paste prolem? It looks very much like that’s what you’re seeing here.
That is, if you paste a string that ends with a newline into the “do what I mean” box, it will appear still to be blank. So you paste it again. So you paste it again. Eventually you figure it out and paste a string that doesn’t end with a newline, but then it tries to download from a URL that contains about five newlines in it. Again, to repeat: 1) Highlight a string ending with a newline. 2) Open the Package Manager box 3) Click in the “do what I mean box”. 4) Hit cmd-v. see that the box appears blank 5) Hit it a few more times, then click “install”. I believe this should be fixed, and it should be an easy fix. I haven’t fixed it myself. John > On Sep 10, 2020, at 10:16, Shriram Krishnamurthi <s...@cs.brown.edu> wrote: > > The original student (on Windows 10) has confirmed they were able to install > with raco on the shell, which further lends credence to the likelihood that > the PM and raco are doing something differently. > > (I have some other issues w/ the caching and how clearing out the trash > doesn't seem to affect the cache, but I'll put that off for another day. <-;) > > On Thu, Sep 10, 2020 at 10:06 AM Philip McGrath <phi...@philipmcgrath.com> > wrote: > Also, this is happening over encrypted HTTPS: no one is sniffing the > User-Agent header. > > My initial attempt to reproduce in the GUI package manager was foiled because > I’d first tried installing at the command line, and the package manager used > a cached copy of the repository. From Shriram’s update last night, it sounds > like the GUI package manager and “raco pkg” are doing something differently. > > > -- > -Philip > > -- > 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/CAJUf2yQTO5dN7yKjvGu_mR13cD2BdkAHLGj2DU7Xdyeo5Ww-RQ%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/3a55bb1f-e501-42cc-a75e-eb4d48077cca%40mtasv.net.
