λ
расскажи
ну ты слышал про оптимизации и ключи компиляции?
Size: a a a
2020 March 04
ᛒ
А что там обещают?
докер человеческий, прямо из коробки, про другие ништяки не оч знаю
GP
ну ты слышал про оптимизации и ключи компиляции?
да
λ
ну вот тебе и ответ
GP
Но что мешает в случае когда они нужны просто пересобирать нужные пакеты на любом другом дистре
AT
докер человеческий, прямо из коробки, про другие ништяки не оч знаю
Хм, интересно. А когда будет?
GP
ну тип твоя либа А не те дефолт флаги имеет; пересобрал
λ
Но что мешает в случае когда они нужны просто пересобирать нужные пакеты на любом другом дистре
ничего не мешает ,так то в гентухе тоже бинари есть
λ
AG
Дебиан/ сентось все пакетами ставится
да, в убунте все ставлю аптом и снапом
GP
ничего не мешает ,так то в гентухе тоже бинари есть
Я думал генту типа как курить трубку или пить чай (енглишменам)
GP
Смысл в ритуале
λ
там реально крутые инструменты есть
AT
да, в убунте все ставлю аптом и снапом
А ты Coq под винду используешь?
AG
нет, в убунте
AG
у меня винда последний раз на рабочем ноуте в адформе была, больше года назад
AG
потом вот перекатился очередной раз на линух
AT
нет, в убунте
Эх жаль. Хотел спросить про установку, а то студенты допрашивают иногда, а я ни в зуб ногой