Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

github0null/eide_default_external_tools_index

Folders and files

NameName
Last commit message
Last commit date

Latest commit

History

63 Commits

Repository files navigation

eide_default_external_tools_index

在使用 eide 的 Setup Utility Tools 功能时,eide 通过该 index.json 获取可用的实用工具程序

通过在该 index.json 中添加项,eide 即可支持工具的下载和自动安装


index.json 接口定义:

export interface ExternalUtilToolIndexDef {
	id: string; // tool id
	name: string; // readable name
	resources: {
		
		// resource nodejs platform, like: win32, linux ...
		[platform: string]: {
			url: string; // zip, 7z direct download link (https), like: 'https://test.com/gcc.zip'
			zip_type: string; // '7z' or 'zip'
			bin_dir?: string; // bin dir relative path
			detail?: string; // description
			
			post_install_cmd?: string; // shell command
			win_drv_path?: { // win32 driver exe path
				// arch: 'x86' or 'x64'
				[arch: string]: string;
			};
		}
	};
}

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

AltStyle によって変換されたページ (->オリジナル) /