20 лет

просто склонировал и все?

нет, конечно

ну там просто

как 2 эпизод?

нужно всё разложить по папкам

оч аккуратно, чтобы имена правильные были и пути относительные

Через 20 лет немного больше стартапов будет использовать завтипы

три директории

потом запустить аккуратно гредлбилды в нужных местах

потом можно руками добавлять плагин в идею

Дима пошли с нами

Асмр от Олега

There is some catch about library thing.
intellij-arend needs to be in the same dir as Arend
arend-lib needs to have Arend with precompiled something as well.
Since I want to have arend libs folder to be clean from plugin my workflow is the following.

1. Clone Arend, intellij-arend and arend-lib in the same dir \ or pull last changes
2. ln -s arend-lib <arend-libs>
3. cd intellij-arend
4. gradle-or-gradlew buildPlugin
5. cd ../Arend
6. gradle-or-gradlew api:assemble
7. cd ../arend-lib/meta
8. gradle-or-gradlew assemble

ущерб читаемости, и не в ботлнеке (сам таким иногда страдаю)

Кстати, про продакшен-реди, обычно в пруверах примерно раз в год находят критический баг (т.е. False доказать можно)

даже я один раз нашёл в аренде

но там был простой на мастере

Классика!

Обычно это случается, когда кто-то экспериментирует с новыми фичами в системе типов.