GitのPagerの設定

2018/08/26 43 users ターミナルウィンドウ Git less スクロール パイプ

B! 0 0 0 0 0 ターミナル作業中に何かを表示させるとき、 長いと上側が切れてターミナルウィンドウのスクロールなりなんなりで戻らないと行けないので 面倒です。 なので長い出力はlessにパイプで渡したり、コマンドそのものがlessに渡したりすることがあります。 Gitでもいろいろと長い出力がありますが、 lessに渡され... 続きを読む

Git の diff を美しく表示するために必要なたった 1 つの設定 #git - 詩と創作・思索のひろば (Poetry, Writing and Contemplation)

2013/11/26 669 users contrib Poetry README Path log

2013-11-26 Git の diff を美しく表示するために必要なたった 1 つの設定 #git Git Git に同梱されている contrib/diff-highlight を使います。 あとは README に書いてあることの引き写しですが、PATH の通ったディレクトリに置いて、~/.gitconfig に以下のように設定を書く。 [pager] log = diff-highlig... 続きを読む

O/R Mapper におけるページャーの実装について - tokuhirom's blog.

2012/08/06 87 users ページャー TOKUHIROM クエリ count 欠点

O/R Mapper においてはページャーの実装方法は3種類かんがえられます。 1. クエリから count(*) 文を発行して、勝手に Pager オブジェクトをつくる 採用しているO/R Mapper DBIx::Class 利点 勝手に処理してくれるので楽。 欠点 $rs->pager(); のように、クエリをうっているっぽくないのに裏でうってるので、重い処理なのにおもそうにみえなくてさがす... 続きを読む

面倒なページ分けを簡単実装できる10のスクリプト集:phpspot開発日誌

2011/08/11 49 users phpspot開発日誌 スクリプト集 PEAR ページャ 参考

10 Helpful PHP Pagination Scripts For Web Developers | ZoomZum 面倒なページ分けを簡単実装できる10のスクリプト集。 ページ分けといえば、Pear::Pagerなんかを個人的にはよく使いますが、色々なページャを実装するためのスクリプトやライブラリがあるみたいです。 デザインはもちろん、機能なんかもそれぞれ違うので参考にしてみてもよさそう... 続きを読む

MySQL の pager が便利だった - xykの日記

2011/03/01 114 users refman doc grep プロンプト コンソール

MySQL | 11:25mysql のコンソールで grep とか使えないかなぁと思っていたら pager を使えば出来ることを今更知った。MySQL :: MySQL 5.1 リファレンスマニュアル :: 7.7.2 mysql Commandshttp://dev.mysql.com/doc/refman/5.1/ja/mysql-commands.htmlmysql のプロンプトで以下のよ... 続きを読む

[使えるCSSテクニックVol.2] CSS を使った見栄えの良いページャー | バシャログ。

2008/11/10 617 users バシャログ 見栄え CSS Prev XHTML

第 3 回目は「見栄えの良いページャー」です。 シンプルなコーディングで見栄えの良いページャーを実現します。 XHTML のサンプルは以下です。とてもシンプルです。 <ul class="pager"> <li class="prev"><a href="hoge">« PREV</a></li> <li><a href="hoge">1</a></li> <li><em>2</em></li> ... 続きを読む

ゼロからはじめるpager - Web文章をらくらく分割してみよう (1) pagerとは？ | パソコン | マイコミジャーナル

2007/06/18 140 users jQu サーチエンジン Ajaxライブラリ 長文 テキスト形式

pagerとは？ pagerは長文を区切ってページとして表示させることができるライブラリです。ブログやサーチエンジンなどのテキスト形式のコンテンツなどでページ番号が記されたサイトを見たことがあるのではないでしょうか。ページ単位でテキストコンテンツを区切ると、見やすくなり整った印象を与えるサイトになります。 「pagerで区切ったテキストコンテンツ」 pagerはAjaxライブラリの1つであるjQu... 続きを読む