[plt-scheme] permissions and the plt help desk

At Sat, 5 Nov 2005 16:19:28 -0600, Corey Sweeney wrote:
> 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. 

Are you using the nightly builds, or building yourself? If you are
building yourself, you may be missing a step.

The below is unlikely to be related to the above.

Robby

> 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)))
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme