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
cmd.exe（コマンド プロンプト）のフォントを変更する
先日、米国エンジニアからトレーニングを受けた際に、私の PC の画面でどうもバックスラッシュが文字化けに見えたようで、必死にバックスラッシュを再入力していた。 日本語版 Windows では、バックスラッシュが「￥」で表示される。 本来、バックスラッシュは「＼」であるべきだという概念（誰が決めたか知らんが）の元、「＼」で表示されるフォントを利用したい。 やっぱりターミナルには Osaka フォントだろっていうことで「Osaka－等幅」を登録する例を示す。 ※ Windows XP Professional with SP2 環境検証。ほかので動くかはしらん。。。 (´ー｀)ﾁﾗﾈｰﾖ （１）フォントのインストール まずは、Osaka フォントをインストール。 追加推奨フォント から Osaka.zip を拾ってくる。 アーカイブソフトを使って zip を解凍する。 [スタート] → [設定
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
