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