[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Liberty-eiffel] preparing rc1

From: Raphael Mack
Subject: Re: [Liberty-eiffel] preparing rc1
Date: Tue, 08 Oct 2013 11:43:41 +0200

Am Dienstag, den 08.10.2013, 10:29 +0200 schrieb Cyril ADRIAN: 
> 2013/10/8 Cyril ADRIAN <address@hidden>
>         I'm considering adding liberty-specific directories. 
> Done. On Unix it even follows XDG specifications
> (freedesktop): /etc/xdg/liberty-eiffel and
> $HOME/.config/liberty-eiffel are now the default config directories.
> Note that the old serc directories are still scanned, but with a lower
> priority.

The question is about "Please note that SmartEiffel should not be
already installed on your system. Particularily, any /etc/serc file will
prevent you from installing Liberty " Which is still in the INSTALL
file. Is it true and does it need to be (temporarily) removed for
Liberty installation? We should give the user this advice in the INSTALL


reply via email to

[Prev in Thread] Current Thread [Next in Thread]