[petsc-dev] make reconfigure

[Lisandro Dalcin]

On 10 April 2012 22:00, Satish Balay <balay at mcs.anl.gov> wrote:
> On Tue, 10 Apr 2012, Satish Balay wrote:
>
>> On Tue, 10 Apr 2012, Lisandro Dalcin wrote:
>>
>> > On 10 April 2012 21:12, Satish Balay <balay at mcs.anl.gov> wrote:
>> > > Lisandro has commit access - so can push directly. [Lisandro - can you
>> > > commit/push?]
>> > >
>> >
>> > Yes, but I'm visiting KAUST, and while being at home, sometimes my ssh
>> > connections randomly stop working for a random period of time.
>>
>> I can push your diffs - but perhaps you might want to test if ssh on
>> port 443 [https port] works arround the difficulties you are having?
>>
>> hg pull -u ssh://petsc@petsc.cs.iit.edu:443//hg/petsc/petsc-dev
>
> pushed now
>

Many thanks!

PS: pulling is not an issue, as I can always use http. But for
pushing, your tip may prove useful. Thanks.


-- 
Lisandro Dalcin
---------------
CIMEC (INTEC/CONICET-UNL)
Predio CONICET-Santa Fe
Colectora RN 168 Km 472, Paraje El Pozo
3000 Santa Fe, Argentina
Tel: +54-342-4511594 (ext 1011)
Tel/Fax: +54-342-4511169