[plt-scheme] permissions and the plt help desk

From: Corey Sweeney (corey.sweeney at gmail.com)
Date: Sat Nov 5 17:19:28 EST 2005

My help desk hasn't worked for a long time. It launches, but I never get any
search results, even when searching for "list". Today I had a chance to look
into it. Is the help for a persons personal help files (help files from
plant packages installed in /home/username/.plt-scheme/) supposed to be
installed in the main plt directory?

I get this message when doing a setup-plt as a user:

setup-plt: Installing Help
delete-file: cannot delete file:
"/usr/local/plt-2005-11-05/collects/doc/help/hdindex" (Permission denied;
errno=13)

Which makes sence, because /usr/local/plt-2005-11-05 is owned by the
administrator so that users can't break the instalation. However this file
is empty. It just contains 4 bytes
"(
)"

Is there a way to force the users version of this file to be stored in the
users directory?

Corey
--
((lambda (y) (y y)) (lambda (y) (y y)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20051105/482e20cc/attachment.html>

Posted on the users mailing list.