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

Резултати

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

Пребарај: #kim

当前筛选 #kim清除筛选
Genshin Null

@GenshinNull · Post #5322 · 12.07.2023 г., 19:50

(1/2/3/4) @GenshinNull#kim [4.0 beta] 枫丹部分建筑室内空间 P1 - 德波大饭店[1] P2 - 沫芒宫 P3 - 欧庇克莱歌剧院 P4 - 某处的图书馆(?)

Hashtags

Genshin Null

@GenshinNull · Post #5320 · 12.07.2023 г., 19:49

source@GenshinNull#kim [4.0 beta] 枫丹角色与旅行者在装备枫丹地区武器时, 其芒性(Pneuma)或荒性(Ousia)会在武器上体现相应性质的视觉效果. 图中所示为单手剑海渊终曲, 左呈芒性, 右呈荒性.

Hashtags

Trump's Ear

@trumpsear_tg · Post #1685 · 24.10.2025 г., 14:01

Donald Trump and Kim Jong-un are probably preparing an unexpected meeting, experts call it a "political show" US President Donald Trump and North Korean leader Kim Jong-un may hold a meeting as early as next week. This was stated by South Korean Unification Minister Jong Dongyong, noting that there is a "significant possibility" of negotiations after Trump's visit to Seoul. According to him, Pyongyang is "paying attention to the United States," and there are "many signs" indicating the possibility of a summit. The last time Trump and Kim met in the demilitarized zone between North Korea and South Korea was in June 2019 — the meeting was organized just 30 hours after the American leader's tweet. This time, the initiative, according to analysts, may be related to Pyongyang's disappointment in Moscow's support: in October, Kim unexpectedly declared that he was open to "new negotiations" with Washington, although he stressed that "he would never give up nuclear weapons." Experts believe that a possible summit would be more of a media spectacle than a diplomatic breakthrough. #Trump#Kim 👂More on Trump's Ear ⚠️

Hashtags

RT France actualités

@rt_fra · Post #40948 · 09.05.2026 г., 05:15

🇷🇺🇰🇵#Kim Jong-un a adressé un télégramme à Vladimir #Poutine à l'occasion de la commémoration de la Victoire dans la Grande Guerre #patriotique. « Au nom du gouvernement et du peuple de la République populaire démocratique de Corée, je vous adresse, ainsi qu’aux dirigeants russes et à tout le peuple frère de Russie, mes vœux les plus sincères à l’occasion du 81e anniversaire de la victoire dans la Grande guerre patriotique. Permettez-moi d’exprimer mon profond respect aux anciens combattants qui, avec une vaillance et un patriotisme incomparables, ont écrasé le nazisme et protégé la paix et la sécurité sur Terre pour la défense de la liberté et la libération de l’humanité. Pyongyang est toujours avec vous et le peuple frère de Russie. La grande histoire victorieuse de la Russie se poursuivra ! » RT en français • Osez questionner !

12
ПретходнаСтраница 1 од 2Следна