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

Изворен канал @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

#tools

Резултати

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

Пребарај: #endometriosis

当前筛选 #endometriosis清除筛选

SALUD Y BIENESTAR

@AportandoSalud · Post #9278 · 15.03.2024 г., 00:03

Најди слично Погледај

📆 Las efemérides relacionadas a la #salud y #bienestar celebradas en esta jornada... ⚜Día Mundial del Riñón Desde el año 2006 se viene celebrando el Día Mundial del Riñón, una efeméride instaurada por la Sociedad Internacional de Nefrología (ISN) y la Federación Internacional de Fundaciones Renales (IFKF), a las que se suman otro conjunto de organizaciones de la salud y especialistas en el área de diálisis y otros tratamientos para los riñones. Se celebra el segundo jueves de marzo, siendo variable cada año. Este año el Día Mundial del Riñón se celebra el 14 de marzo de 2024. ⚜️Día Mundial de la Endometriosis El 14 de marzo se celebra el Día Mundial de la Endometriosis, una enfermedad que afecta a 180 millones de mujeres en todo el mundo y que está infra diagnosticada. ⚜️Día Europeo para la Prevención del Riesgo Cardiovascular El 14 de marzo se celebra el Día Europeo para la Prevención del Riesgo Cardiovascular, con el objetivo de concienciar a la población sobre la importancia que tienen las enfermedades cardiovasculares y sobre cómo podemos influir en los factores de riesgo implicados, como son el tabaquismo, el sedentarismo, la mala alimentación, la obesidad, la hipertensión, el estrés y otros factores. #DíaMundialdelRiñon #DíaMundialdelaEndometriosis#endometriosis#endometriosisawareness ✅@AportandoSalud

Hashtags

#salud #bienestar #díamundialdelriñon #díamundialdelaendometriosis #endometriosis #endometriosisawareness

SALUD Y BIENESTAR

@AportandoSalud · Post #9276 · 14.03.2024 г., 23:27

Најди слично Погледај

📆 Las efemérides relacionadas a la #salud y #bienestar celebradas en esta jornada... ⚜ Día Mundial del Riñón Desde el año 2006 se viene celebrando el Día Mundial del Riñón, una efeméride instaurada por la Sociedad Internacional de Nefrología (ISN) y la Federación Internacional de Fundaciones Renales (IFKF), a las que se suman otro conjunto de organizaciones de la salud y especialistas en el área de diálisis y otros tratamientos para los riñones. Se celebra el segundo jueves de marzo, siendo variable cada año. Este año el Día Mundial del Riñón se celebra el 14 de marzo de 2024. ⚜️ Día Mundial de la Endometriosis El 14 de marzo se celebra el Día Mundial de la Endometriosis, una enfermedad que afecta a 180 millones de mujeres en todo el mundo y que está infra diagnosticada. ⚜️ Día Europeo para la Prevención del Riesgo Cardiovascular El 14 de marzo se celebra el Día Europeo para la Prevención del Riesgo Cardiovascular, con el objetivo de concienciar a la población sobre la importancia que tienen las enfermedades cardiovasculares y sobre cómo podemos influir en los factores de riesgo implicados, como son el tabaquismo, el sedentarismo, la mala alimentación, la obesidad, la hipertensión, el estrés y otros factores. http://telegra.ph/Día-Mundial-del-Riñón-03-14 http://telegra.ph/Día-Mundial-de-la-Endometriosis-03-14 http://telegra.ph/Día-Europeo-para-la-Prevención-del-Riesgo-Cardiovascular-03-14 #DíaMundialdelRiñon #DíaMundialdelaEndometriosis#endometriosis#endometriosisawareness ✅@AportandoSalud

Hashtags

#salud #bienestar #díamundialdelriñon #díamundialdelaendometriosis #endometriosis #endometriosisawareness