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 have to burden the students with manually installing these packages. Is there anyway to make "raco pkg install pie" work automatically after the updating?
Cheers, Weixi On Monday, November 9, 2020 at 9:18:03 PM UTC-5 evdubs wrote: > $ 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/.config/racket': No such file or directory > > Evan > On Monday, November 9, 2020 at 4:14:28 PM UTC-10 Matthew Flatt wrote: > >> 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 something to do with the >> switch to XDG paths. Do you have "~/.racket" and/or "~/.config/racket" >> directories? >> >> >> Matthew >> > -- 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/b6a61385-2ba6-4540-aa32-76842ec591a6n%40googlegroups.com.
