ハック 2013.07.02 188 linuxHistoryコマンドで日付も保存 ツイート シェア はてな HISTTIMEFORMAT='%Y-%m-%d %T '; export HISTTIMEFORMATつくってみた!社長が「寒い寒い」というので社長席の温度をRaspberry Piで監視してみた。社内のトイレ難民解決!トイレ空き状況確認システムを作ってみたAmazon Polly と Slack を使って Alexa へ (物理的に) 話しかけるシステムを作ってみた関連記事 historyコマンドに日付を加える historyコマンドに日付をつける MySQLDumpで特定テーブルのデータ内容のみ出力する CentOS6にOpenVPNを入れる Linuxで無圧縮Zipを作る rbenvでRubyをシステムワイドにインストールする(Amazon Linux)