@PensivePost · Post #5316 · 20.06.2021 г., 08:01
It's Father's Day👨 and I wish every ones father a happy and blessed life. This is to request every member of this worthy group to write few lines about your Dad. #review#fathersday#Happyfathersday
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
Пребарај: #fathersday
@PensivePost · Post #5316 · 20.06.2021 г., 08:01
It's Father's Day👨 and I wish every ones father a happy and blessed life. This is to request every member of this worthy group to write few lines about your Dad. #review#fathersday#Happyfathersday
@irassg · Post #1568 · 13.06.2025 г., 09:01
What’s your name? Meet Aaron - showing us how he does it, from sweet delights to tax insights. Happy Father’s Day! 🫶🏻 #lifeatiras#fathersday#mynameisdarshen
@soyouzsvokrim · Post #15831 · 19.10.2025 г., 06:00
Сегодня, 19 октября, отмечается День отца, который является одним из самых молодых официальных праздников. Этот день посвящён важной роли отца в семье, его вкладу в воспитание детей и ответственности за благополучие и безопасность близких. Семейные ценности являются фундаментом будущего страны. Отцовство — это ежедневный труд, который служит примером мужества, надёжности и защиты для детей. Инициатива учреждения Дня отца была предложена летом 2021 года депутатом Госдумы от «Единой России» и заслуженным артистом России Денисом Майдановым. Сегодня «Единая Россия» организовывает праздничные мероприятия по всей стране в честь Дня отца. Активисты проводят акции по посадке деревьев на аллеях отцов, организуют беседы со школьниками о роли отца, а также онлайн-выставки «Я и папа» и фотовыставку «Четыре поколения». Кроме того, работают зоны мастер-классов по столярному, токарному и автомобильному делу, где отцы смогут поделиться своими знаниями и навыками с детьми. Активисты Молодой Гвардии «Единой России» в честь праздника посетят и поздравят многодетных отцов и участников СВО. #ЕдинаяРоссия#ДеньОтца ———— Today, on October 19, Father's Day is celebrated, which is one of the youngest official holidays. This day is dedicated to the important role of the father in the family, his contribution to the upbringing of children and responsibility for the well-being and safety of loved ones. Family values are the foundation of the country's future. Fatherhood is a daily job that serves as an example of courage, reliability and protection for children. The initiative to establish Father's Day was proposed in the summer of 2021 by Denis Maydanov, a State Duma deputy from United Russia and an Honored Artist of Russia. Today, United Russia is organizing festive events across the country in honor of Father's Day. Activists are planting trees in fathers' alleys, organizing talks with schoolchildren about the role of the father, as well as online exhibitions "Me and Dad" and a photo exhibition "Four Generations". In addition, there are master class areas in carpentry, turning and automotive, where fathers will be able to share their knowledge and skills with their children. Activists of the Young Guard of United Russia will visit and congratulate fathers with many children and members of their military community in honor of the holiday. #UnitedRussia#FathersDay
@NEASingapore · Post #836 · 13.06.2024 г., 10:20
Thinking about Father's Day plans? Why not organise a memorable picnic? Here are some tips to make it fun and eco-friendly. #FathersDay#EcoFriendly#Picnic#SayYEStoWasteLess
@sarconsulurals · Post #2195 · 15.06.2025 г., 05:15
🎉С Днём отца, Южная Африка! 🧔♂️💙 В третье воскресенье июня в ЮАР поздравляют пап с их праздником. Пусть отцовская забота, сила и любовь вдохновляют новые поколения! 🇿🇦 #ДеньОтца#ЮАР#Семья#Праздники#Отцы ___________________ 🎉Happy Father’s Day, South Africa! 🧔♂️💙 On the third Sunday of June, South Africa celebrates dads and all they do. Wishing strength, love, and joy to fathers across the country! 🇿🇦 #FathersDay#SouthAfrica#Family#Fatherhood#Celebration
@desi_memes_funny_jokes · Post #5346 · 30.09.2024 г., 12:40
After me and my sister's fight #cartoon#family#comedy#television#sitcom#animation#hindimemes#cartoon#memes#communitylove#connectwithcommunity#humor#sisterlove#fathersday#fatherdaughter
@desi_memes_funny_jokes · Post #4970 · 07.07.2024 г., 09:46
After me and my sister's fight #cartoon#family#comedy#television#sitcom#animation#hindimemes#cartoon#memes#communitylove#connectwithcommunity#humor#sisterlove#fathersday#fatherdaughter