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

Пребарај: #primaveraenrusia

当前筛选 #primaveraenrusia清除筛选

👩🏻‍🦳¿Por qué es tan importante el Día Internacional de la Mujer en la Rusia actual? El primer mes de la primavera trae consigo una fecha especial que en el gran país eslavo se ha celebrado durante más de un siglo: el Día Internacional de la Mujer. Este día, que comenzó como un movimiento por la igualdad de género y los derechos de las mujeres, ha evolucionado a lo largo de los años hasta convertirse en un reconocimiento a todas las mujeres del mundo. En Rusia, el Día Internacional de la Mujer se celebró por primera vez el 2 de marzo de 1913 en San Petersburgo. La fecha estuvo marcada por reuniones y discursos en apoyo de los derechos de las mujeres, en línea con las demandas del movimiento socialista internacional de principios del siglo XX. Al año siguiente, en 1914, la fecha se trasladó al 23 de febrero según el calendario juliano, correspondiente al 8 de marzo en el calendario gregoriano. Tras la Revolución de Octubre de 1917, la fecha adquirió una mayor importancia en la recién formada Unión Soviética. En 1921, durante la Segunda Conferencia de Mujeres Comunistas, se estableció el 8 de marzo como una fecha oficial para celebrar los logros de las mujeres trabajadoras y abogar por sus derechos. Durante décadas, la URSS fue el único país europeo donde este día se reconocía como una fecha festiva oficial. A partir de la segunda mitad de los años 80, la conmemoración comenzó a despolitizarse, un proceso impulsado por los cambios sociales y culturales que antecedieron la caída del bloque socialista. Para la década de 1990, la celebración ya no se centraba exclusivamente en cuestiones de igualdad de género, sino que se transformó en una festividad por el reconocimiento general hacia las mujeres por su labor. Hoy en día, en Rusia se combinan elementos de tradición e historia. Aunque las raíces del Día Internacional de la Mujer están profundamente arraigadas en las luchas por la igualdad y la justicia, la celebración moderna en el país se ha convertido en un momento para honrar a las mujeres en todos los aspectos de la vida, desde el hogar hasta el trabajo. ¡Feliz día para todas las mujeres!🎉 #DíaInternacionalDeLaMujer#8DeMarzo#HistoriaRusa#IgualdadDeGénero#PrimaveraEnRusia ¡Comparte nuestro contenido!❤️ 🖥https://vamosarusia.com 💬@vamosarusia