dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #16640
Re: $HOME
Anders Logg wrote:
> On Wed, Nov 18, 2009 at 10:47:45PM +0100, Anders Logg wrote:
>> On Wed, Nov 18, 2009 at 10:38:03PM +0100, dyresen@xxxxxxxxx wrote:
>>> Hi,
>>>
>>> $HOME should now be back. There may be inconsistencies, so I advice to
>>> have a look at it first.
>>>
>>> Regards
>>> Bjørn
>> Nice. Mercurial seems to missing so I can't push.
>
> Seems to work now!
The ssh interface works, but the web interface does not.
Harish
References