2010年2月6日 (土曜日)

18:13:07 # Life bash プロンプトの設定。 以前設定した気がしていたのだが設定わすれていたので。 現在こんな感じ。PS1="$debian_chroot[\t]\$(__git_ps1 '[%s]')\h:\W> " $debian_chroot は Debian の bash 初期化スクリプトで /etc/debian_chroot をみて勝手に設定される変数で、chrootの特徴を記録してくれる。 いろいろなchrootを縦横無尽に使いまくる人には必須アイテム。 あと、__git_ps1 は git と一緒に配布されているスクリプトで設定されているもので、 git のツリー内にいる場合は現在のブランチを表示してくれる。 あとは、現在のディレクトリを表示。 時間は結構重要で、コマンドの実行時刻や実行に必要な時間とかは常に計測しておかないと不安なあなたにおすすめ。

Junichi Uekawa

$Id: dancer-diary.el,v 1.94 2009/10/21 14:02:48 dancer Exp $