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

The change I made is in the gui-pkg-manager repo (well there may be one more word in the name). Yes, it does just strip. I didn't see any code that was doing what you describe but I also didn't look for it! Robby On Tue, Sep 15, 2020 at 8:39 AM John Clements wrote: > I have a question about

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

I have a question about the new behavior. (ObResearch: actually, I checked the drracket, racket, and gui repos, and I couldn’t find any new push, so I couldn’t check the code myself.) Does it simply strip newlines, as Jack suggested, or does it signal an error? The latter seems less likely to

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

I just worry about backwards compatibility. There are probably places that already do something about this problem woutside of the control-- how will they interact? Maybe if someone were to audit existing code on the pkg server then we would know that changing the behavior in a certain way would

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

Can you explain why you are not sure? Under what circumstances do you think the current 'single style behavior is useful? We can add 'single-no-return (though I dislike it because 'single means no return already!) and change existing places that use 'single. However, without switching the default

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

I'm not sure. I would probably add a 'single-no-return style and then grep the codebase for places that use 'single and change them (as appropriate). Robby On Sun, Sep 13, 2020 at 3:15 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > I meant, wouldn’t it be better to fix

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

I meant, wouldn’t it be better to fix text-field% itself, instead of only some instances of it? Sorry if that was confusing. On Sun, Sep 13, 2020 at 1:12 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Should the fix apply to all 'single styled text-field% >

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

Should the fix apply to all 'single styled text-field% too? On Sun, Sep 13, 2020 at 7:50 AM Robby Findler wrote: > Yea, I agree. I'd made that change locally but hadn't pushed because I > couldn't make the bad behavior happen reliably. Perhaps

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

Yea, I agree. I'd made that change locally but hadn't pushed because I couldn't make the bad behavior happen reliably. Perhaps that lack shouldn't stop us! Pushed now. Robby On Sat, Sep 12, 2020 at 11:15 PM jackh...@gmail.com wrote: > Could we make the "do what I mean" box just automatically

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

Could we make the "do what I mean" box just automatically strip any newlines pasted into it? It seems sensible to me to require that it only be a single line input. On Friday, September 11, 2020 at 6:22:59 AM UTC-7 hen...@topoi.pooq.com wrote: > On Thu, Sep 10, 2020 at 10:27:39AM -0400,

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

On Thu, Sep 10, 2020 at 10:27:39AM -0400, George Neuner wrote: > > > On 9/10/2020 10:06 AM, Philip McGrath wrote: > > Also, this is happening over encrypted HTTPS: no one is sniffing the > > User-Agent header. > > While it may not be the issue here, you need to understand that appliance >

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

I asked students to go to File | Install Package (not the DWIM box). From there, I too get this "inferred package name includes disallowed characters" message as Robby. But that isn't what my student got… So it seems a bit unlikely this is the issue? There is the possibility this is somehow

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

I was able to follow John's instructions and I get what Shriram had in the original message, so that seems like it is on the right track. Confusingly, however, I also seem to be getting this more helpful message: DrRacket install: invalid package source; inferred package name includes

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

It's not me doing this, it's a student. I agree this is always a possibility. But note that it also happened to a TA. I suppose they could all have been making the same mistake. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe

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

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

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

On 9/10/2020 10:06 AM, Philip McGrath wrote: Also, this is happening over encrypted HTTPS: no one is sniffing the User-Agent header. While it may not be the issue here, you need to understand that appliance firewalls CAN and routinely DO examine data inside encrypted connections. George

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

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

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

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

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

Please note that, per my message last night, this is also happening (my TA claims he saw the *identical* text: multiple red lines, etc.) on macOS 11. So it's not just for Windows any more. On Thu, Sep 10, 2020 at 9:20 AM George Neuner wrote: > > On 9/10/2020 7:37 AM, Hendrik Boom wrote: > > On

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

On 9/10/2020 7:37 AM, Hendrik Boom wrote: On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > I don't know if DrRacket even sends a "user agent" string. If DrRacket can send a user agent string, so can malware. So it's not really reliable to filter on the user agent string.

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

On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > I don't know if DrRacket even sends a "user agent" string. If DrRacket can send a user agent string, so can malware. So it's not really reliable to filter on the user agent string. -- hendrik -- You received this message

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

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

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

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

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

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

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

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