TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #421 · 23 мар.

Мы используем Makefile думая, что нет альтернатив, что это стандарт и всё такое. Но make это не запускалка команд, а система сборки. Мы фактически используем его не по назначению. И на самом деле альтернатива есть! Некоторое время назад я открыл для себя прекрасный инструмент - just. Он решает все проблемы make. just - это не система сборки как make, это именно исполнитель команд! Больше никаких Phony Targets и табуляций, привет нормальный синтаксис и передача аргументов!!! 😎 ⭐️Что умеет just: ✅ Автодокументирование команд Не нужно делать отдельную команду с докой, просто добавь комментарий # команда сборки build: ... $ just --list Available recipes: build # команда сборки Команда с именем default запускается по умолчанию если не указано другое, так что я обычно делаю так: default: just --list Теперь просто выполняем just и получаем доку из текущего файла. ✅ Удобная работа с переменными окружения # загрузить из .env set dotenv-load # глобальная переменная export PYTHONPATH := "./src" # переменная для команды test $TESTUNG="true": pytest ✅ Передача аргументов build target: @echo 'Build {{target}}...' команда запуска $ just build dev # Build dev... ✅ Выбор интерпретатора прямо в команде Пример с инлайн-скриптом на python: system: #!/usr/bin/env python3 import platform print(platform.system()) Эта же функция позволит выполнить скрипт как одну команду вместо перезапуска шела для каждой строки foo: #!/usr/bin/env sh for file in ls .; do echo $file done ✅ Выполнение команды в определенной директории. Можно указать как релятивный путь так и абсолютный [working-directory: 'backend'] build: docker compose build Также можно задать рабочую директорию глобально Там еще много интересного: - поддержка функций - автокомплиты и интеграции - экспрешены - алиасы команд - группировка команд - альтернативы команды под разные ОС - импорт других just-файлов - цветной вывод - ... и другие штуковины! Так что вперёд - ➡️ читать доку! Репозиторий: ➡️https://github.com/casey/just Статья: ➡️https://www.chicks.net/reference/file_formats/just/ ЗЫ. Кажется, на Makefile я уже не вернусь) #tools

Hashtags

Резултати

Пронајдени 2 слични објави

Пребарај: #petropavlovsk

当前筛选 #petropavlovsk清除筛选

​​Группа миноритариев Petropavlovsk подала иск к Мосбирже, Газпромбанку и УГМК Группа владельцев акций Petropavlovsk подала иск в Арбитражный суд Москвы к "Московской бирже", Газпромбанку и "Уральской горно-металлургической компании" (УГМК). Об этом сообщает Интерфакс. Согласно материалам суда, иск принят к производству, предварительное заседание назначено на 28 октября. До 22 октября присоединиться к требованиям могут другие акционеры Petropavlovsk. Сама компания Petropavlovsk привлекается к разбирательству в качестве третьего лица. Суть иска пока не раскрывается. Весной 2022 года Газпромбанк, который был основным кредитором и покупателем золота Petropavlovsk, попал под санкции Великобритании. Это затруднило золотодобытчику сбыт и обслуживание долга, он начал пропускать платежи по процентам. Газпромбанк потребовал досрочного погашения, а вскоре передал права требования по обязательствам новым кредиторам. Смена кредиторов, крупнейшим из которых стала фирма, связанная с УГМК, не освободила Petropavlovsk от досрочного погашения. Золотодобытчик был вынужден запустить процедуру несостоятельности и инициировать делистинг акций с LSE и "Мосбиржи". В сентябре 2022 года компания "УГМК-Инвест" выкупила у Petropavlovsk все ключевые активы - рудники и производственные предприятия. Крупные акционеры и миноритарии Petropavlovsk сделку не поддерживали и заявляли о намерении обратиться в ЦБ, ФСБ и прокуратуру с просьбой проверить законность действий руководства компании, делистинг, а также сделку между Газпромбанком и УГМК. О результатах этих инициатив не сообщалось. В 2024 году Ассоциация розничных инвесторов (АРИ) обратилась в УГМК с предложением провести встречу для обсуждения вопроса выкупа акций у российских розничных миноритариев, приобретавших бумаги через "Мосбиржу". В процессе сделки, писала АРИ, серьезно пострадал широкий круг розничных инвесторов, которые доверили свои сбережения российскому фондовому рынку, приобретали на "Мосбирже" акции этой "российской по своей сути компании", а потом потеряли личные сбережения. #petropavlovsk#иск Больше интересного на нашем сайте 💪https://zolteh.ru/

🇷🇺🌋 17 de octubre de 1740: el día que Rusia llegó a Kamchatka En el extremo oriental de Rusia, donde la tierra se funde con el Pacífico y los volcanes vigilan el horizonte, nació hace casi tres siglos una ciudad que aún conserva el espíritu de la exploración: Petropavlovsk-Kamchatski. Su origen se remonta al 17 de octubre de 1740, cuando los barcos de la Segunda Expedición Kamchatka anclaron en la bahía de Avacha, dando nombre al primer asentamiento ruso en esa región: el fortín de Petropavlovsk. La expedición, liderada por el célebre navegante danés Vitus Bering al servicio del Imperio ruso, tenía como objetivo cartografiar las costas del Lejano Oriente y establecer presencia rusa en territorios aún desconocidos. Durante el crudo invierno de 1740, los miembros de la expedición construyeron un pequeño fortín de madera para protegerse del clima extremo y de posibles ataques. Ese fortín fue el germen de lo que hoy es Petropavlovsk-Kamchatski, capital del krai de Kamchatka. El nombre de la ciudad honra a los dos barcos de la expedición: el “San Pedro” y el “San Pablo”, dos embarcaciones ligeras utilizadas para transportar correspondencia y suministros. Esta denominación no solo refleja la devoción religiosa de la época, sino también el papel crucial que jugaron estas naves en la expansión rusa hacia el Pacífico. Este asentamiento no tardó en convertirse en un punto estratégico para la navegación, la pesca y la defensa del imperio. En 1854, durante la Guerra de Crimea, la ciudad resistió con éxito un ataque conjunto de las flotas británica y francesa, consolidando su reputación como bastión inexpugnable del Lejano Oriente ruso. Hoy, Petropavlovsk-Kamchatski es una ciudad vibrante, rodeada de naturaleza salvaje, volcanes activos y aguas ricas en biodiversidad. Su historia, marcada por la exploración y la supervivencia, sigue viva en sus calles, museos y monumentos. Y cada 17 de octubre, los habitantes celebran el aniversario de su fundación, recordando a los marineros que, guiados por los apóstoles, plantaron la primera bandera rusa en la tierra de fuego y hielo. #HistoriaRusa#Kamchatka#Petropavlovsk#ExploraciónRusa#CulturaRusa Apóyanos pulsando👉'BOOST'👈 🖥https://vamosarusia.com 💬@vamosarusia