ハック 2017.10.04 204 bashdateコマンド ツイート シェア はてな $date -d "{日時}" "{フォーマット}" で日時を自分が指定したフォーマットに変換することができる。フォーマットは年(西暦4桁)は%Y、月(01~12)は%m、月(Jan~Dec)は%b、時(00~23)は%H、時(01~12)は%Iなどで、%Y/%m/%H/%M/%S のように指定する。つくってみた!Amazon Polly と Slack を使って Alexa へ (物理的に) 話しかけるシステムを作ってみた社内のトイレ難民解決!トイレ空き状況確認システムを作ってみた社長が「寒い寒い」というので社長席の温度をRaspberry Piで監視してみた。関連記事 bashでサブディレクトリ内も含めた、ファイル数を出力するコマンド timeoutコマンド seqコマンドを使って範囲内の数字をbashで列挙する scriptコマンド 標準出力に出力日時をprependする Windowsバッチでコマンドの出力結果を変数に格納する