106
return undefined;
107
}
109
>
const children: SkillCustomization[] = entries.map(entry => {
110
>
const uri = URI.from({ scheme: AGENT_BUILTIN_SCHEME, path: `/skill/${encodeURIComponent(entry.name)}` }).toString();
111
>
return {
112
>
type: CustomizationType.Skill,
113
>
id: customizationId(uri),
114
>
uri,
115
>
name: entry.name,
116
>
description: entry.description,
117
>
};
118
>
});
119
>
120
>
const containerUri = URI.from({ scheme: AGENT_BUILTIN_SCHEME, path: '/skills' }).toString();
121
>
return {
122
>
type: CustomizationType.Directory,
123
>
id: customizationId(containerUri),
124
>
uri: containerUri,
125
>
name: 'builtin',
126
>
enabled: true,
127
>
contents: CustomizationType.Skill,
128
>
writable: false,
129
>
load: { kind: CustomizationLoadStatus.Loaded },
130
>
children,
131
>
};
132
>
}
133
134
/**