2023-04-13から1日間の記事一覧
お決まり シェルスクリプトの先頭に書くやつ #!/bin/bash set -euo pipefail readonly SCRIPT_DIR=$(cd $(dirname $0) && pwd) 定番のフィルタコマンド そのgrepは本当に必要? sedを上手く使うとgrep | sedのような事前のgrepが不要になる場面も多い。 例え…
お決まり シェルスクリプトの先頭に書くやつ #!/bin/bash set -euo pipefail readonly SCRIPT_DIR=$(cd $(dirname $0) && pwd) 定番のフィルタコマンド そのgrepは本当に必要? sedを上手く使うとgrep | sedのような事前のgrepが不要になる場面も多い。 例え…