[devel] Обновление GHC
Ivan Zakharyaschev
imz на altlinux.org
Ср Апр 3 20:29:12 MSK 2019
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
Подробная информация о списке рассылки Devel