#author("2022-01-12T07:54:15+09:00","","")
** [[WebTrack/107]] [#vabe8d7d]
|~サマリ|「自作プラグイン」を「UserPlugins」に変更してほしい|
|~お名前|[[umorigu]]|
|~優先度|低|
|~状態|提案|
|~カテゴリー|PukiWiki公式サイト 要望|
|~投稿日|2022-01-12 (水) 02:17:54|
|~担当者|[[umorigu]]|

** メッセージ [#u512e6d9]
「自作プラグイン」だとURLエンコードしたURLが長くなってしまう。

- UserPlugins
- Plugins

のような簡潔なURLになる名前に変更したい。

プラグインは参照される機会も多いので、簡潔なURLになることはメリットが大きい。


考察:

- 「自作プラグイン」という言葉も「ユーザープラグイン」の方が実態に近いのではないか?
-- 「自作」というのは作者にとっての言葉であり、利用するユーザーから見ると、「誰か別のユーザーが作ったプラグイン」
-- 「プラグイン」でもよさそう (通常、プラグインというのは本体とは別の主体が作成するもの)だが、PukiWikiの場合標準添付プラグインとの区別が難しくなる可能性があるので、なにか修飾する語があった方がよい


変更後のケア:

- 自作プラグイン から UserPlugins にはリダイレクトを行い、旧URLがリンク切れにならないようにする


例:

- [[自作プラグイン/s.inc.php]]
-- 旧URL: https:// pukiwiki.osdn.jp/?%E8%87%AA%E4%BD%9C%E3%83%97%E3%83%A9%E3%82%B0%E3%82%A4%E3%83%B3/s.inc.php [[自作プラグイン/s.inc.php]]
-- 新URL: https:// pukiwiki.osdn.jp/?UserPlugins/s.inc.php [[UserPlugins/s.inc.php]]

----
- どなたかコメントいただきたいです -- [[umorigu]] &new{2022-01-12 (水) 02:20:15};
- page_redirect_rulesの利用例にもなるので良いと思います。[[PukiWiki/PageRedirection]] -- [[匿名]] &new{2022-01-12 (水) 07:54:15};

#comment


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Site admin: PukiWiki Development Team

PukiWiki 1.5.4+ © 2001-2022 PukiWiki Development Team. Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.035 sec.

OSDN