brendan
2017-11-25 23:19:34

Could anyone help me figure out why I’m getting permission denied when I run raco setup? raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: docs failure: make-directory: cannot make directory path: /usr/share/doc/racket/ system error: Permission denied; errno=13 raco setup: --- installing collections --- raco setup: --- post-installing collections --- raco setup: --- checking package dependencies --- raco setup: --- summary of errors --- raco setup: error: during launcher setup for <pkgs>/scribble-lib/scribble raco setup: delete-file: cannot delete file raco setup: path: /usr/bin/scribble raco setup: system error: Permission denied; errno=13


notjack
2017-11-25 23:22:28

@brendan hmmm, that’s not right at all. Could you share more info about your setup and how you installed racket?


brendan
2017-11-25 23:22:32

Sure


brendan
2017-11-25 23:22:54

I installed racket from the AUR using the package manager pacaur


brendan
2017-11-25 23:24:08

I did raco pkg install on this directory previously, and after changing some stuff did raco setup


brendan
2017-11-25 23:24:27

Actually I did raco setup --check-pkg-deps --doc-index --pkgs


brendan
2017-11-25 23:24:39

which is probably relevant, since the error is happening when I build the docs


notjack
2017-11-25 23:27:07

What happens if you run raco setup <name-of-directory-you-installed>


brendan
2017-11-25 23:32:49

I just get collection-path: collection not found collection: "hackett-doc" in collection directories: /home/brendan/.racket/6.11/collects /usr/share/racket/collects ... [167 additional linked and package directories]


brendan
2017-11-25 23:33:13

And when I just do raco setup --pkgs hackett-doc I get the same permission denied bit


notjack
2017-11-25 23:40:54

There might be an issue with how the AUR is setup. Can you reproduce the issue if you install racket using the Linux installer script at http://download.racket-lang.org\|download.racket-lang.org?


brendan
2017-11-25 23:47:58

Let me see


brendan
2017-11-25 23:56:15

I’m a little confused about how this installer works


brendan
2017-11-25 23:57:06

It seems like it installs racket stuff not in /usr/bin or /bin


brendan
2017-11-25 23:57:11

Which is awkward


notjack
2017-11-26 00:01:06

It depends on if you use an in-place or unix-style install


notjack
2017-11-26 00:01:46

Unix style puts stuff into /usr/bin, /usr/lib, etc in the way you probably expect


notjack
2017-11-26 00:02:34

In place keeps everything in one directory and is meant to make multiple racket installations on the same system easier to manage


brendan
2017-11-26 00:02:41

gotcha


brendan
2017-11-26 00:05:22

After reinstalling with the installer script, I still get permission denied from raco setup --pkgs hackett-doc


notjack
2017-11-26 00:06:42

Confirming: the old installation is gone and not in your path now correct? It’s definitely the new installation that has this problem?


brendan
2017-11-26 00:06:59

Yes


brendan
2017-11-26 00:07:35

I checked that none of the racket executables were on my path after uninstalling


notjack
2017-11-26 00:10:29

Thanks for checking. I’m not at a computer right now so I can’t try and reproduce it myself unfortunately. The Linux racket installer assumes it can modify some central stuff like the collections directory it creates without needing root, so I’m guessing maybe arch Linux in general or your specific setup has different notions of how permissions ought to work


brendan
2017-11-26 00:10:51

maybe?


brendan
2017-11-26 00:11:11

Oh I did run the installer with sudo, because it needed to modify /usr/…


notjack
2017-11-26 00:11:21

An yeah that will do it


brendan
2017-11-26 00:11:25

I can try to install it in my home dir instead


notjack
2017-11-26 00:11:39

Was just typing to ask if you did that when I saw your message :p


notjack
2017-11-26 00:12:40

Whatever user the installer is run as will be the user you need to run as to install racket packages. Maybe the installer script ought to warn you if you try to run it as root


brendan
2017-11-26 00:13:17

It probably would’ve been helpful, yeah ¯_(ツ)_/¯


notjack
2017-11-26 00:14:36

If you’d like to file a GitHub issue to make the script give clearer instructions that would be great. If not I can do that later.


brendan
2017-11-26 00:28:05

success!