質問箱/3479

Wikiソースは

{エンコードされたページ名}.txt

というファイル名で保存されますよね。

そこで質問なのですが、ファイル名をページ名から分離する方法はないものでしょうか。

例えば、Wikiソースの中にコメントかなにかでファイル名を指定する、とか。

以前、ページ名とファイル名の分離に関する記事をどこかでみたような気がするのですが・・・。

ニッチかつ少々複雑な事情なのですが・・・。

PukiWikiサイトをまるごとhtml化するソフトを作ってます。

各ページをhtmlにする際、ファイル名をどうするかが焦点です。

すぐに実現できそうな選択肢はこのようなものです。

しかし、それぞれ

という欠点があります。

2.の方法で'%'を間引くという案もありますが、ファイル名が衝突する可能性がでてくるので避けたいです。

このような問題を解決する手段になるかもしれない、と思いまして、このような質問をさせていただきました。

lib/file.phpのget_filename()/get_existpages()辺りを弄ってみれば？その辺りを自前でやっちゃってる野良プラグインがあれば、個別の対応も当然必要かな。しかし、全頁ソースから各ページ名を拾うのは重そうだなぁ。その一方、私にはメリットの方はまるで見えてこないけど。カワイさんは、何を目的にそんなことをしたいのですか？ひょっとすると、手段としてその方法は最善ではないかもしれませんよ？ -- 2006-08-09 (水) 21:59:23
（参考までに）単にファイル名をページ名に直して取得したいのであればdumpプラグインで可能です。また、あるページのファイル名が何か調べたいのであれば[一覧]⇒[ファイル名一覧]で調べられます。 -- 2006-08-09 (水) 22:43:40
回答ありがとうございます。指摘されたあたりを調べてみたいと思います。目的は↑に書かせていただきました。 -- カワイ 2006-08-10 (木) 23:11:31