2024-03-13 23:50:11 +01:00
|
|
|
|
|
|
|
|
function import_plugin_run(path: string) {
|
|
|
|
|
if (!path_is_plugin(path)) {
|
|
|
|
|
console_error(strings_error1());
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2024-03-20 16:13:54 +01:00
|
|
|
let filename: string = substring(path, string_last_index_of(path, path_sep) + 1, path.length);
|
2024-03-13 23:50:11 +01:00
|
|
|
let dst_path: string = path_data() + path_sep + "plugins" + path_sep + filename;
|
|
|
|
|
file_copy(path, dst_path); // Copy to plugin folder
|
|
|
|
|
box_preferences_files_plugin = null; // Refresh file list
|
|
|
|
|
console_info(tr("Plugin imported:") + " " + filename);
|
|
|
|
|
}
|