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