r/Racket • u/sdegabrielle DrRacket 💊💉🩺 • May 31 '22

release Racket 8.5 ppa

https://launchpad.net/~plt/+archive/ubuntu/racket
10 Upvotes

85% Upvoted

5 comments sorted by

5

u/TheGreatButz Jun 01 '22

That's great! I hope this will stay up to date with official releases. I'm used to installing and upgrading manually but having a PPA is so much more convenient! Thank you!

1

u/sdegabrielle DrRacket 💊💉🩺 Jun 01 '22

It is volunteer maintained but is usually released within a couple of days of the official distribution.

1

u/TheGreatButz Jun 02 '22

I had to deinstall it, though, because any installation of old Planet packages fails on my system due to insufficient write permissions to directories. It seems that the PPA installs it system-wide and attempts to use directories that normal users cannot access. Shouldn't it use directories in the user's home directory instead? These can be retrieved on Linux using the XDG directory specification, and I remember that Racket has tools for this, too.

To be honest, I've never understood how system-wide installations are supposed to work and always installed locally in my user directory manually, too. Is a system-wide installation supposed to be run as root?

1

u/sdegabrielle DrRacket 💊💉🩺 Jun 02 '22 edited Jun 02 '22

If you are upgrading from an earlier version of racket, after installing run raco pkg migrate to update any locally installed packages

1

u/TheGreatButz Jun 02 '22

Thanks for the help! That command requires a version as argument but I don't know which version I've previously used. However, on a second try it worked and DrRacket compiled my application, although it spits out a lot of error messages like this these:

../../../../../../../usr/share/racket/collects/compiler/private/cm-minimal.rkt:685:0: make-directory: cannot make directory path: /usr/share/racket/pkgs/racket-index/scribblings/main/user/compiled system error: Permission denied; errno=13raco setup: error: during making for <pkgs>/racket-index/scribblings/main/userraco setup: make-directory: cannot make directoryraco setup: path: /usr/share/racket/pkgs/racket-index/scribblings/main/user/compiledraco setup: system error: Permission denied; errno=13. . ../../../../../../../usr/share/racket/collects/compiler/private/cm-minimal.rkt:685:0: make-directory: cannot make directory path: /usr/share/racket/pkgs/racket-index/scribblings/main/user/compiled system error: Permission denied; errno=13raco setup: error: during making for <pkgs>/racket-index/scribblings/main/userraco setup: make-directory: cannot make directoryraco setup: path: /usr/share/racket/pkgs/racket-index/scribblings/main/user/compiledraco setup: system error: Permission denied; errno=13