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 слични објави

Пребарај: #waterpark

当前筛选 #waterpark清除筛选

Ну и вишенка на торте - именно в Атлантисе находится самый большой аквапарк в мире (!), и у постояльцев в него безлимитный доступ🐠 Мы, конечно, не смогли проехать по всем горкам (из-за самого младшего члена семьи😁), но для детей там 3 достаточно большие зоны и даже взрослым на некоторых горках интересно) В аквапарк можно попасть и без проживания в отеле. Стоимость билетов: Дети до 3х лет бесплатно; Дети от 3х лет и ниже 120 см - 305 AED (~8тыс руб); Взрослые - 345 AED (~9 тыс руб) Fast pass - 495 AED (~13 тыс руб) - плюсом к билету. #ОАЭ#UAE#Dubai#Дубаи#Atlantis#Waterpark