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

Резултати

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

Пребарај: #marocco

当前筛选 #marocco清除筛选
Libertà è ragione

@libertaeragione · Post #4284 · 08.11.2024 г., 08:04

#Italia#Giustizia La VI Sezione della Corte Suprema di #Cassazione ha stabilito che i Paesi ritenuti sicuri per il rimpatrio dei migranti irregolari restano tali fino a prova contraria. Insomma, la Corte Suprema ha affermato che «L'inserimento del paese d'origine del richiedente nell'elenco dei paesi sicuri produce l'effetto di far gravare sul ricorrente l'onere di allegazione rinforzata in ordine alle ragioni soggettive e oggettive per le quali invece il paese non può considerarsi sicuro». Infatti, in un caso concernente la richiesta di estradizione di un immigrato del #Marocco, accusato nel suo Paese di "organizzazione di immigrazione clandestina", negata in primo e secondo grado, la Corte ha stabilito che «Sarebbe stato onere della corte d'appello verificare l'esistenza di notizie affidabili, provenienti da fonti qualificate, per accertare, al momento della decisione, la sussistenza di ragioni oggettive o soggettive per ritenere perdurante il pericolo di sottoposizione di D.F. a un processo simulato onde perseguirlo per le opinioni politiche espresse». In sintesi, la Corte di Cassazione avrebbe imposto ai singoli giudici di argomentare in modo puntuale e rigoroso circa le motivazioni che permetterebbero di non considerare sicuro un Paese che per il governo, e quindi per la legge, lo è. @OsservatorioItaliano

Tutto Elezioni

@tuttoelezioni · Post #1834 · 17.04.2026 г., 07:06

#ProssimeElezioni🗓 Le elezioni che seguiremo prossimamente sono: 🇧🇬#Bulgaria: #parlamentari, il 19 aprile; 🇬🇧🏴󠁧󠁢󠁳󠁣󠁴󠁿#RegnoUnito: parlamentari in #Scozia, il 7 maggio; 🇬🇧🏴󠁧󠁢󠁷󠁬󠁳󠁿 Regno Unito: parlamentari in #Galles, il 7 maggio; 🇨🇻#CapoVerde: parlamentari, il 17 maggio; 🇪🇸#Spagna: #regionali in #Andalusia, il 17 maggio; 🇨🇾#Cipro: parlamentari, il 24 maggio; 🇮🇹#Italia: #comunali, il 24 e il 25 maggio; 🇨🇴#Colombia: #presidenziali, il 31 maggio; 🇦🇲#Armenia: parlamentari, il 7 giugno; 🇮🇸#Islanda: #referendum, il 29 agosto; 🇭🇹#Haiti: presidenziali e parlamentari, il 30 agosto; 🇩🇪#Germania: #statali in #SassoniaAnhalt, il 6 settembre; 🇸🇪#Svezia: parlamentari, il 13 settembre; 🇩🇪 Germania: statali a #Berlino e nel #MeclemburgoPomeraniaAnteriore, il 20 settembre; 🇲🇦#Marocco: parlamentari, il 23 settembre; 🇱🇻#Lettonia: parlamentari, il 3 ottobre; 🇧🇦#BosniaErzegovina: parlamentari e presidenziali, il 4 ottobre; 🇧🇷#Brasile: presidenziali e parlamentari, il 4 ottobre; 🇺🇸#StatiUniti: parlamentari e statali, il 3 novembre; 🇳🇿#NuovaZelanda: parlamentari, il 7 novembre; 🇧🇬 Bulgaria: presidenziali, l'8 novembre; 🇨🇻 Capo Verde: presidenziali, il 15 novembre; 🇦🇺#Australia: statali nel #Victoria, il 28 novembre. Sono segnate in grassetto le elezioni previste nel corso del mese di aprile. @TuttoElezioni

Tutto Elezioni

@tuttoelezioni · Post #1742 · 31.03.2026 г., 13:05

#ProssimeElezioni🗓 ❗️Calendario aggiornato Le elezioni che seguiremo prossimamente sono: 🇵🇪#Perù: #presidenziali e #parlamentari, il 12 aprile; 🇭🇺#Ungheria: parlamentari, il 12 aprile; 🇧🇬#Bulgaria: parlamentari, il 19 aprile; 🇬🇧🏴󠁧󠁢󠁳󠁣󠁴󠁿#RegnoUnito: parlamentari in #Scozia, il 7 maggio; 🇬🇧🏴󠁧󠁢󠁷󠁬󠁳󠁿 Regno Unito: parlamentari in #Galles, il 7 maggio; 🇨🇻#CapoVerde: parlamentari, il 17 maggio; 🇪🇸#Spagna: #regionali in #Andalusia, il 17 maggio; 🇨🇾#Cipro: parlamentari, il 24 maggio; 🇮🇹#Italia: #comunali, il 24 e il 25 maggio; 🇨🇴#Colombia: presidenziali, il 31 maggio; 🇦🇲#Armenia: parlamentari, il 7 giugno; 🇮🇸#Islanda: #referendum, il 29 agosto; 🇭🇹#Haiti: presidenziali e parlamentari, il 30 agosto; 🇩🇪#Germania: #statali in #SassoniaAnhalt, il 6 settembre; 🇸🇪#Svezia: parlamentari, il 13 settembre; 🇩🇪 Germania: statali a #Berlino e nel #MeclemburgoPomeraniaAnteriore, il 20 settembre; 🇲🇦#Marocco: parlamentari, il 23 settembre; 🇱🇻#Lettonia: parlamentari, il 3 ottobre; 🇧🇦#BosniaErzegovina: parlamentari e presidenziali, il 4 ottobre; 🇧🇷#Brasile: presidenziali e parlamentari, il 4 ottobre; 🇳🇿#NuovaZelanda: parlamentari, il 7 novembre; 🇺🇸#StatiUniti: #parlamentari e #statali, il 3 novembre; 🇧🇬 Bulgaria: presidenziali, l'8 novembre; 🇨🇻 Capo Verde: presidenziali, il 15 novembre; 🇦🇺#Australia: statali nel #Victoria, il 28 novembre. Sono segnate in grassetto le elezioni previste nel corso del mese di aprile. @TuttoElezioni