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

TGINSIGHT SIMILAR POSTS

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

Изворен канал @pythonotes · Post #411 · 9 фев.

reload_flag="" if [[ -n "${DEBUG}" ]]; then reload_flag="--reload" fi if [[ -n "${WORKER_COUNT}" ]]; then workers=${WORKER_COUNT} else workers=2 fi gunicorn --workers ${workers} \ --bind 0.0.0.0:8000 \ ${reload_flag} main.wsgi Писали такие конструкции чтобы проверить наличие флага и сформировать команду правильно? На самом деле можно сделать тоже самое проще. Для этого используются операторы условной подстановки, доступные в оболочках семейства POSIX. :- для установки значений по умолчанию ${WORKER_COUNT:-2} Если переменная не объявлена, то будет дефолтное значение 2. :+ подставляет указанный текст, если переменная не пуста ${DEBUG:+--reload} Если что-то есть в переменной то распечатается текст после символа +, в противном случае - ничего. Удобно для опциональных флагов, как в нашем примере. Итого наш скрипт может выглядеть так: gunicorn --workers ${WORKER_COUNT:-2} \ --bind 0.0.0.0:8000 \ ${DEBUG:+--reload} main.wsgi Есть еще два оператора. := не только подставить дефолтное значение, но и присвоить его переменной, если она пуста # никаких переменных еще нет VAL1=${VAL2:=hello} # теперь доступны обе echo $VAL1 $VAL2 # hello hello :? остановить выполнение с ошибкой, если переменной нет. echo ${MISS:?is required} bash: MISS: is required Код выхода будет 1. #tricks#linux

Резултати

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

Пребарај: #linfedema

当前筛选 #linfedema清除筛选
SALUD Y BIENESTAR

@AportandoSalud · Post #9250 · 07.03.2024 г., 02:25

📆 Las efemérides relacionadas a la #salud y #bienestar celebradas en esta jornada... ⚜ Día Internacional del Linfedema El día 6 de marzo se celebra el Día Internacional del Linfedema, con la finalidad de divulgar a la población en general la importancia de la prevención y el manejo del linfedema, catalogada como una enfermedad crónica que afecta principalmente a pacientes con cáncer de mama. ⚜ Día Internacional de la Logopedia El Comité Permanente de Logopedas de la Unión Europea creó en el año 2004 el Día Europeo de la Logopedia, cuya finalidad fundamental es la de concienciar a la población europea sobre los trastornos del lenguaje y de la comunicación existentes, así como los efectos sobre la salud, tratamientos aplicados y los derechos de los pacientes. #linfedema#DiaInternacionalLinfedema#diadellinfedema #logopedia#diaeuropeologopedia#logopediaprofesiónsanitaria ✅@AportandoSalud