bash
dateコマンド
$date -d “{日時}” “{フォーマット}” で日時を自分が指定したフォーマットに変換することができる。フォーマットは年(西暦4桁)は%Y、月(01～12)は%m、月(Jan～Dec)は%b、時(00～23)は%…
面倒臭いビルド&Dockerの再起動を（ほぼ）全自動でやる
コード打ってるとどこか直すたびにまずビルドして、bashを眺めてビルドが終わったの確認してからDocker落として落ちたら再び起動・・・てやってるけど面倒いので全部bashに任せてしまおうって話 mvn clean &a…wp-cli で WordPress のアップデート検出
#!/bin/bash wp_version=$(sudo -u apache wp-cli core version) wp_update_version=$(sudo -u apache wp-cli core ch…wp-cli と jq で WordPress の更新されたプラグインを抜き出す
# sudo -u apache wp-cli \ plugin list –fields=title,status,version,update,update_version –format=json \ | jq…bashの引数
command $1 $2 $3 … のように引数は$nに順に対応していて、実行時に指定された引数の数は$#という変数で表される。Rsyncで複数台構成Webサーバーのコンテンツを同期するやつ
cronで数分おきに回せば間に合うゆるふわ要件の場合、これにリトライ機構やロックファイルによる排他制御等を追加しとけば良いと思います。 ionice -c 2 nice -n 19 \ rsync -avz –dele…
bashで乱数を得るシェルスクリプト
!/bin/sh for n in {1..50}; do random=$(( $RANDOM % 32 )) echo “$random” done echo 剰余を使って、ランダム整数の範囲を絞る。