colordiffで、diffコマンドの出力に色を付ける - 試験運用中なLinux備忘録・旧記事
diffコマンドを実行して、端末上で結果を見たい場合、色が付いていると分かりやすい。colordiffというラッパーを使用することで、これを実現できる。 Gentoo LinuxでもDebian,Ubuntuでも「colordiff」というパッケージになっているので、インストールは簡単。 使用方法 diffコマンドと同様に(オプションも含めて)そのまま使える。エイリアスとして、シェルの初期化ファイル(${HOME}/.bashrcなど)に alias diff=colordiff と設定してもOK。 あるいは、既にファイルに出力された*.diff/*.patchファイルを $ cat test.diff | colordiff | lessのようにして、色付けフィルタとしても使える。 設定 ${HOME}/.colordiffrcというファイルで、主に色の設定ができる。/etc/color
bash,dash,zshのreadコマンドと「while read line」のような行ごとの読み込み処理について跡地 - 試験運用中なLinux備忘録・旧記事
(2021/9/29)本記事は「bash,dash,zshのreadコマンドと行ごとの読み込み処理(while read)」へ移動した。
端末の中で仮想端末を管理するtmux(GNU screenの代替)について(ペイン分割とその管理) - 試験運用中なLinux備忘録・旧記事
本記事は「端末の中で仮想端末を管理する tmux(GNU screenの代替)について(コピペとバッファに関する操作・バッファ数上限と後方スクロール行数の変更)」に続く内容となる。 GNU screenにもウィンドウを分割する機能があるが、tmuxの分割機能は上下/左右のどちらにも分割できる他、切り替えにマウスが使えるように設定できるなど、機能が強化されている。この分割されたそれぞれの領域はペインと呼ばれる。 ウィンドウのペイン分割はX Window System上の端末エミュレータを用いていればそれほど必要性はないが、GUIなしでリモート接続したりする*1場合などには重宝するかもしれない。 ここでは、ペイン分割とその管理を行う操作を扱う。 注意:本記事内で記述している操作は既定の割り当てで、設定ファイルにより変更することができる。 分割 レイアウトの動的変更 ペインの削除 ペインサイズの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
