On 12/04/2012, at 12:42 AM, ben wrote:
> hi
>
> I just want to report a small permission error:
>
>
> $ flx hello.flx
> Fatal error: exception Sys_error("/homes/ben/.felix/cache/binary//[...
> pwd ... ]/./hello.par2: Permission denied")
>
> this can be solved with
>
> $ sudo chown -R ben ~
hi
I just want to report a small permission error:
$ flx hello.flx
Fatal error: exception Sys_error("/homes/ben/.felix/cache/binary//[...
pwd ... ]/./hello.par2: Permission denied")
this can be solved with
$ sudo chown -R ben ~/.felix
Maybe this could be solved during the installation proce
