Opera のユーザー JavaScript 関数を使用して、開発者が定義した特定の場所にファイルをダウンロードして保存する方法はありますか?
ありがとう。
実際、これに対する純粋な JavaScript ソリューションは、ウィジェットと Opera 10 以降でのみ可能です。ただし、ユーザーがファイルを保存するのに十分な権限を付与している Java アプレットと対話できる必要があります。user.js が通信するローカル サーバーを使用するソリューションも見ました。この投稿のどこかに記載されている「HistoryPlus」スクリプトを参照してください。
http://my.opera.com/chooseopera/forums/findpost.pl?id=2669972
http://dev.opera.com/libraries/fileio/docs/overview-summary-file-io.js.dmlは、あなたが望むもののように見えます。
var localDir, remoteFile;
var out = serverDir.open(remoteFile, opera.io.filemode.READ);
var in = clientDir.open(localFile, opera.io.filemode.WRITE);
var line = "";
do {
in.writeLine(line);
line = out.readLine();
} while(line);
in.close();
out.close();
ユーザーは、これらのライブラリを許可するように構成ファイルを変更する必要があります。