zshでは、履歴ファイルに各コマンドを実行した時間を保存する事が出来る。 bashで上記のような事を行うための方法を以下に示す。 環境変数 HISTTIMEFORMAT になんらかの 日付文字列を指定すると、コマンドの実行時間を保存するようになる。 なお、子プロセスに引き継ぐ必要はないと思われるので export していない。書式は、strftime(3)と同じである。 $ HISTTIMEFORMAT="[%y/%m/%d %H:%M:%S] " この日付書式文字列では、以下のような出力になる。 128 [06/05/08 10:44:41] ls -al 129 [06/05/08 10:44:44] vi .screenrc 130 [06/05/08 10:45:06] ls -al 131 [06/05/08 10:45:10] vi .screenrc 132 [06/05/0
１． はじめに 川辺川ダム問題に関する私の見解を申し述べます。 熊本県政は４月１６日、夢に向かってスタートを切りました。「大きな可能性を爆発させ、『躍動し、飛躍する県』に変えていく、そして県民の幸福量の最大化を目指す」というのが蒲島県政の夢です。 そのために、どうしても解決しなければならないのが、川辺川ダム問題です。ただ、ダム問題の本質を理解することなく、拙速に結論を出すことは無責任であるとの思いから、選挙中、他の候補者の方々がダム建設反対を表明される中で、半年間の猶予をいただき、９月議会において、私の態度を表明することを県民の皆様にお約束いたしました。 私にとってこの数ヶ月間は、極めて貴重であったと同時に、苦悩に満ちた時間であったと、いま改めて思います。それは、この問題が、人命の危険や、自然・環境に対してどう向き合うのかという人間社会のあり方を問う、極めて今日的な問題であり、言い換えれば
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
