「.plugin」ファイルをページに添付し、特定箇所をクリックするとダウンロードできるようにしたのですが、ダウンロードすると「.plugin」ファイルが「.bin」に拡張子が変わってしまいます。添付ファイル一覧にはしっかり「.plugin」で添付されているのでダウンロードするさいに変わっているようです。「.bin」を「.plugin」に書き換えれば問題なく動作するのですが、不便です。
これは不具合ですか？使用ブラウザはfirefox、使用機種はandroid 11です。
WIKIWIKIユーザー助け合い掲示板
添付したファイルの拡張子が変わる
8
コメント
views
6
フォロー
通報 ...
これって不治の病なん…？とりあえずwikiwikiのurlはったほうがええんやろか、
とりあえず折り畳みで
https://wikiwiki.jp/theotown/プラグインの作成#r9bad998
ここの紹介用コメント欄の折り畳みのなかの「なんとか.plugin」をクリックでダウンロードできる。
詳しくはないですが添付リンクをクリックしたとき、それが自動で実行されない仕組みだとおもいます。変更されないのは.jpgや.txtなど一部の素性がはっきりするものだけでしょう。
つまり実行できないやつはとりあえず「.bin」にしちゃうってことなんですかね、なんとなく理解できたと思います
>> 2の「post.plugin」と「diagonal.plugin」をクリックしてダウンロードしましたが、トピ文にあるような「.bin」と変換されることなく「.plugin」のままダウンロードできましたよ。
環境はWin10/21H1でChrome ver.100(最新)とAndroid5でChrome ver.95です。(androidの方は環境が古すぎて参考にならないかもですが。)
もしかしたら水曜から金曜の間で運営の方で修正等なされた可能性もありますが、報告まで。
そうなんですね！環境によって変わるのかなぁ、こちらはさっきためしたのですが「.bin」のままだったので修正ではなさそう。chromeだと「.plugin」になりました。
現時点ではPCのFirefoxだと.pluginのままダウンロードされました。
スマホのandroidだと.binでダウンロードされました。
サーバー側ではなくブラウザー側が受け取ったときに内容を解釈して変換するのかもしれません。
むぅ、そうなるとwikiwikiがどうこうできるような問題でなさそうですね、みなさんありがとうございました