Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-17 Thread Asumu Takikawa
On 2020-11-09 10:35:45 -0800, Asumu Takikawa wrote: > The Ubuntu PPA is now updated for version 7.9 as well, and available on > current Ubuntu versions (see https://wiki.ubuntu.com/Releases): New PPA packages are currently building & will be available soon with the new version number: 7.9+ppa3-

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-10 Thread Matthew Flatt
Now I see the problem. It seems to be specific to the source distribution, but since the PPA is derived from a source distribution, it affects the PPA, too. A solution is raco pkg config --set catalogs \ https://download.racket-lang.org/releases/7.9/catalog/ \ "" That last empty-st

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-10 Thread mvcc...@gmail.com
Hi, I'm having a similar issue with the packages. After updating to 7.9, the pie package stopped working and "raco pkg install pie" couldn't find anything on catalogs. I had to download the source code and install it locally. I'm teaching a class using the pie package. It would be jarring if I hav

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread evdubs
$ ls ~/.racket 6.11 6.12 7.0 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 7.9 download-cache racket-prefs.rktd snapshot The above looks like the location where my user packages are installed (as in, the packages from raco pkg install). $ ls ~/.config/racket ls: cannot access '/home/evdubs/.con

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread Matthew Flatt
At Mon, 9 Nov 2020 18:08:51 -0800 (PST), evdubs wrote: > So I ran: > $ raco pkg config --set catalogs https://pkgs.racket-lang.org > and now I am able to migrate packages. Thank you, Matthew. Maybe this is > related to my installation being from the PPA. Maybe, but I wonder whether it might have

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread evdubs
$ raco pkg config name: 7.9 catalogs: https://download.racket-lang.org/releases/7.9/catalog/ default-scope: user download-cache-dir: /home/evdubs/.racket/download-cache download-cache-max-files: 1024 download-cache-max-bytes: 67108864 git-checkout-credentials: trash-max-packages: 512

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread Matthew Flatt
What does `raco pkg config` say? The resolution search doesn't seem to be trying https://pkgs.racket-lang.org which is where those packages would be found. At Mon, 9 Nov 2020 17:43:22 -0800 (PST), evdubs wrote: > Sorry, I should have just included the full error the first time. I get: > > $ ra

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread evdubs
Sorry, I should have just included the full error the first time. I get: $ raco pkg migrate 7.8 Packages to install: binaryio feature-profile gregor html-parsing interactive-brokers-api sxml tasks threading webscraperhelper 00: Resolving "binaryio" via https://download.racket-la

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread Matthew Flatt
At Mon, 9 Nov 2020 16:28:32 -0800 (PST), evdubs wrote: > Looking at https://download.racket-lang.org/releases/7.9/catalog/, an > uncaught exception is being thrown. This error is being returned by other > versions, too (7.8 and 7.7 at least). When that URL is used as a catalog by `raco pkg`, it

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread evdubs
I just upgraded my Racket installation to 7.9. I tried to run raco pkg migrate 7.8 I got the following error: raco pkg migrate: cannot find package on catalogs Looking at https://download.racket-lang.org/releases/7.9/catalog/, an uncaught exception is being thrown. This error is being returned

Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread Stephen De Gabrielle
Thanks Asumu I've posted on r/racket - there are a lot of linux users there so I'm sure this is much appreciated. Kind regards Stephen On Mon, Nov 9, 2020 at 6:35 PM Asumu Takikawa wrote: > On 2020-11-02 19:10:33 -0500, 'John Clements' via Racket Users wrote: > > Racket version 7.9 is now av

[racket-users] Ubuntu PPA also updated to v7.9

2020-11-09 Thread Asumu Takikawa
On 2020-11-02 19:10:33 -0500, 'John Clements' via Racket Users wrote: > Racket version 7.9 is now available from > > https://racket-lang.org/ The Ubuntu PPA is now updated for version 7.9 as well, and available on current Ubuntu versions (see https://wiki.ubuntu.com/Releases): https://laun