[Agda] Re: Problem when getting the Standard Library

[Nils Anders Danielsson]

On 2011-01-31 14:08, Nils Anders Danielsson wrote:
> Permission problems. Fixed now, but I don't see why darcs writes things
> with the wrong permissions set. Can anyone enlighten me? The umask seems
> to be correct:
>
> $ umask -S
> u=rwx,g=rx,o=rx

Problem solved: For some reason the umask on the server is different for
non-interactive logins, but one can tell darcs to use a different umask
by adding the line

   apply umask <new umask>

to _darcs/prefs/defaults on the server.

-- 
/NAD