Comment:Old/Hack/geshi.inc.php

Top > Note > Old > Hack > geshi.inc.php
  • 色などのユーザー設定の部分に関してですが、こうした方がいいのでは?という私の考えを示すために、スタイルシートに設定を記述できるテスト版を作りました。できたら意見を聞かせて下さい。http://download.revulo.com/PukiWiki/geshi-0.6.1.tar.gz CSS 部分をキャッシュする処理をまだ書いていないので、試す場合はキャッシュ off でお願いします。 -- revulo? 2007-01-27 (土) 15:10:18
    •   <style type="text/css">
        <!--
          p {color:red}
        -->
        </style>
      
      のような書き方は XHTML では正しくありません(正確には好ましくありません?) ( http://www.kanzaki.com/docs/html/xhtml1.html#compatibility の 8。Another HTML Lint をチェッカに使用しているとよくでてきます。)。あと、css のキャッシュというのはなかなか不思議な気がします。また、ユーザにサンプルとして geshi.css を用意しているようですが、ユーザが設定したい言語には .kw2 までにしかないのか .kw4 もあるのか、のチェックをするために結局 言語.php を覗いてもらわないといけませんよね。それを避けるためにも XHTML 的にも全言語分用意してあげないといけなくなると思います。どうせ覗くならそのまま編集してもらってもいいかなと思います。私の方式だと2行追加だけのようなものですし、色設定以外も実は全て設定できるという利点もありますし、やはり、労力の割には効果が薄いのではないかと思うのですが…。自分ならある2つの選択肢がお互いに利点と欠点を持っていたら、それを忘れて楽なほうを選択します。で、選択したのですけどね。最初はわざわざ geshi/contrib/cssgen.php を実行して css を調べたり $geshi-> なコードを書いたりしたのですけど、コード簡潔化のために全部捨てました。 -- sonots 2007-01-27 (土) 15:51:31
    • 途中参考 URL を探すのに時間がかかって、書いたり消したりしてましたけど、もし途中経過を見ていたらご容赦。 -- sonots 2007-01-27 (土) 16:39:35
    • あと春学期が始まったので、時間が取れなくなりそうです。1ユーザとしてはとにかく geshi のあのよくわからないデフォルトの色をを修正できれば問題ありません。なにを参考にしたんでしょうね、あれ。 -- sonots 2007-01-27 (土) 16:43:10
  • どうもありがとうございます。色々参考になります。考えてみましたが、やはり sonots さんの提案を次バージョンでそのまま取り込ませていただこうと思います。 -- revulo? 2007-01-28 (日) 07:45:17
    • 私が示したスタイルシート案というのは、実は2段階に分かれています。1.設定ファイル云々とは別に、$geshi->enable_classes() を使うように移行する。2.その上で設定ファイルとして CSS を使う。今までこの2つが頭の中でごっちゃになっていたのですが、実際に少しコードを書いてみると、そもそもこの第1段階の部分で色々と問題が出てきます。(XHTML の問題や、CSS 部分が HTML 部分と別でキャッシュが効かなくなる etc.) なので、無理に作業を進めるメリットが無い → 設定ファイルに CSS を用いるのも却下、という判断に落ち着きました。ご意見ありがとうございました。リリース前に、また細かい点で意見を伺うかもしれませんが、その時はよろしくお願いします。 -- revulo? 2007-01-28 (日) 07:48:49
    • 要望にあった cache=reset の機能ですが、これもそのうちに何とかします。 -- revulo? 2007-01-28 (日) 07:49:28
    • ありがとうございます。頑張ってください。 -- sonots 2007-01-28 (日) 11:10:18
  • とりあえずパッチを取り込んだバージョンを作りました。http://download.revulo.com/PukiWiki/geshi-0.7rc1.tar.gz 背景色などの設定も設定ファイルの方に逃がしたかったので、ちょっと変更を加えています。default.php で全言語に共通の設定をすることを可能に。ユーザー設定ファイルを置くディレクトリ名を geshi_config に変更。特に異論がなければ、これをバージョン 0.7 として公開する予定です。-- revulo? 2007-02-03 (土) 06:18:12
    • それと geshi.inc.php の配布ページにも少し説明を書き加えましたが、「設定ファイルの作り方の詳細や実例については http://note.sonots.com/?PukiWiki%2FHack%2Fgeshi.inc.php を参照」と書いてリンクしてしまってよろしいでしょうか?自分でも PHP 用に設定ファイルを作ってみたのですが、結局それが sonots さんの php.php と全く同じものになってしまったので…。 -- revulo? 2007-02-03 (土) 06:21:15
    • お疲れ様です。特に異論はなさそうです。ファイルの作り方はそちらのページに移して貰えないでしょうか?このページは今回の連絡用ページ的なもので、ユーザフレンドリ、というには中につっこみ過ぎているので。配布ファイルにも geshi_config/{php.php,cpp.php,c.php} を同梱してあげると親切かと思います。geshi デフォルトの色は変だと皆さん思ってくれているはず。きちんとユーザ用にこちらのページを書き直すこともできなくはないですが、やはり配布ページに説明が統一してあった方がユーザにとってはうれしいはず。 -- sonots 2007-02-03 (土) 10:57:46
    • ファイルの作り方の説明は、私なら、「geshi/geshi/言語.php を geshi_config/ にコピーし、変更したい値を変更します。どの項目がどういう意味を持つのかは 言語.php の中身を見れば少なからず明確になると思います。色設定だけを行いたい場合、サンプルの php.php? のように、不必要な部分を削って STYLES 項目だけを残して編集するのも良いでしょう。また、c.php? のように他の設定を引っ張ってくることもできます。」ぐらいだけ書きますかね。 -- sonots 2007-02-03 (土) 11:07:56
  • ご意見ありがとうございます。ではちょっと面倒ですが、「sonots 氏のパッチ を取り込みました」くらいに書いておいて、説明は自分のページにも書くことにします。 -- revulo? 2007-02-03 (土) 13:21:14
    • とにかく geshi/geshi/言語.php から geshi_config/ へ自分でコピーするのが基本だと思うので、本当はあまり設定ファイルは同梱したくないです。(これをコピーして perl.php や ruby.php を作ればいいのか、と思われると困るので。) が、それだと確かに不親切すぎるので、geshi_config/php.php.sample を入れておいて、この php.php.sample はこうやって作るんだ、という説明を書こうと思います。 -- revulo? 2007-02-03 (土) 13:22:55
    • c.php, cpp.php の同梱はやめておきます。こういう geshi_config ディレクトリ内で転用ができるみたいな話をすると、さらに紛らわしくなりそうですので。 -- revulo? 2007-02-03 (土) 13:24:04
  • 気分転換に一気に作りました。cache=reset もできます。http://download.revulo.com/PukiWiki/geshi-1.0rc1.tar.gz 1つ伺いたいのですが、タイムスタンプを変更しないページの書き換えで geshi プラグインの使用回数が増減するような場合には、片っ端から cache=reset と書く必要がありますが、こういう仕様で構いませんか? -- revulo? 2007-02-05 (月) 23:33:54
    • ありがとうございます。おつかれさまです。他にいい方法も思いつかないのでそういう仕様でしょうがないと思います。なにかありますかね?どれか1つが cache=reset していたらそのページ全てリセット?うーん、微妙 -- sonots 2007-02-05 (Mon) 14:03:32
    • 個人的にはそういう状況の場合はさすがにタイムスタンプ変更更新をするかなぁと。どうしても、な時は文字列置換プラグイン系で一時的に書き換えすると思います、個人的には。他のユーザには親切ではないかもしれませんが、個人的には困りません -- sonots 2007-02-05 (Mon) 14:09:20
    • ご意見ありがとうございます。ではとりあえず、これは仕様ということにします。ページ全部リセットという動作にすることもできますが、それもなにか変な気がしますし。 -- revulo? 2007-02-06 (火) 06:52:54


URL B I U SIZE Black Maroon Green Olive Navy Purple Teal Gray Silver Red Lime Yellow Blue Fuchsia Aqua White