← Back to team overview

dolfin team mailing list archive

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