https://github.com/github0null/eide_default_external_tools_index

https://github.com/github0null/eide_default_external_tools_index

Last synced: 11 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/github0null/eide_default_external_tools_index
• Owner: github0null
• License: mit
• Created: 2022-08-01T13:22:32.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-08-05T01:45:17.000Z (over 1 year ago)
• Last Synced: 2025-01-25T22:22:41.463Z (about 1 year ago)
• Size: 58.6 KB
• Stars: 0
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          

# eide_default_external_tools_index

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

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

---

`index.json` 接口定义：

```ts

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;

			};

		}

	};

}

```