Embed Notice

僕の使っているコマンドラインツールの #ひかえめなアドベントカレンダー2023 12月14日分はsedとgrepです。どちらもパイプの一部として行ごとの情報の加工に便利です。

例えば、HerokuアプリでもあるこのMastodonサーバのconfig var (プラットフォームに覚えておいてもらう環境変数)のうち、エラーやメンテナンスの時に表示するURLを抽出できます。

$ heroku config | grep _PAGE_URL
ERROR_PAGE_URL: //mastodon-offline.zunda.ninja/500.html
MAINTENANCE_PAGE_URL: //mastodon-offline.zunda.ninja/maintenance.html

PostgreSQLやRedisへの接続情報のうちユーザー名やパスワードを隠すこともできます (下記ではホスト名やデータベース名も編集してあります):

$ heroku config | grep 'DATABASE_URL\|REDIS_TLS_URL' | sed 's/:\/\/.*@/:\/\/(redacted)@/'
CACHE_REDIS_TLS_URL: rediss://(redacted)@redis.example.com:12659
DATABASE_URL: postgres://(redacted)@postgres.example.com:5432/mastodon
REDIS_TLS_URL: rediss://(redacted)@redis.example.com:30349
SIDEKIQ_REDIS_TLS_URL: rediss://(redacted)@redis.example.com:21839

そういえばsedは実は奥が深くてラベルへの条件分岐もできたりして、たぶんチューリング完全だったよね