LINUX忘却録 diff / patch
diff/patch とは diff は、ファイルの差分を作成するコマンドで、 patchは、差分からファイルの変更を再現するコマンドです。 Linuxの場合、様々なサーバアプリケーションや、ソフトウエアがソースで提供されているため、自分の環境に合った仕組みに改造したり、Linuxユーザの手によって、使いやすく改良したり、本家（提供元）が修正する前に、ユーザーの手によってバグや問題を改善してきました。 しかし、毎回、何処を修正しましたと報告しても、プログラムソースを読めない人では、それを反映することは難しいでしょう。 そこで、このdiff と patchが使われてきました。 オリジナルのソースファイルから、 diff を使用して差分ファイルを作っておけば、そのオリジナルソースに patchコマンドを実行するだけで、修正した箇所が再現出来ます。 このdiffとpatchを使いこな
unixtime と 日付 の相互変換
日付 から unixtime への変換方法 date コマンドに ‘+%s’ 引数をつけると unixtime で表示する。 $ date +%s 1108218628 特定の日付を変換したいときは、’–date’ オプションを利用する。 $ date +%s --date "2005-01-01 00:00" 1104505200 unixtime から 日付 への変換方法 $ date --date "@1104505200" Sat Jan 1 00:00:00 JST 2005 ぼくが知る限り、date コマンドでは変換できない。このため、awk をもちいる。 awk でもできる。 $ echo 1104505200 | awk '{print strftime("%c",$1)}' Sat Jan 1 00:00:00 2005 フォーマットをそろえる場合。 $ echo 11
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Parse a dhcpd.lease File with Bash
