[devel] Обновление GHC

[Ivan Zakharyaschev]

On Wed, 3 Apr 2019, Ivan Zakharyaschev wrote:

> On Wed, 3 Apr 2019, Anton Farygin wrote:
> 
> > 03.04.2019 19:17, Ivan Zakharyaschev пишет:
> > > Hello!
> > >
> > > On Tue, 2 Apr 2019, Eugine Kosenko wrote:
> > >
> > > > Если не торопимся, то могу помочь с модулями. Но это не раньше выходных
> > > > ---
> > > > я сейчас сильно загружен. А самая большая проблема у меня была именно со
> > > > сборкой "ядер" --- ghc нужной версии. На моем ноуте собирается примерно
> > > > 15-20 часов, цикл отладки дикий. Надеюсь, правда, на этой неделе нарастить
> > > > память. Опять же, модули собираются достаточно быстро, у меня весь
> > > > комплект
> > > > собирается за 4-5 часов.
> > > Если Вы в team, то можно собирать на team.alt. Из .ssh/config:
> > >
> > > Host team.alt
> > >    HostName team.altlinux.org
> > >    Port 222
> > >    User imz
> > >    IdentityFile ~/.ssh/id_rsa_imz-vaio
> > Наверное надо кому-то написать, что бы добавили аккаунт ?
> > 
> > $ ssh team.alt
> > ssh: rider на team.altlinux.org: Permission denied (publickey).
> 
> Наверное. К тому же там может быть какой-то твой старый ключ.

Я обращался к glebfm@ или ldv@

> [imz на team ~]$ l -d /home/rider
> drwx------ 15 rider rider 4096 Jan 14  2015 /home/rider/


-- 
Best regards,
Ivan