Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-23 17:38:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #556 from voideditor/model-selection

Browse source 
delete
This commit is contained in:
Andrew Pareles 2025-05-12 11:03:17 -07:00 committed by GitHub
commit d09a41acd3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 16 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

33
src/vs/workbench/contrib/void/browser/extensionTransferService.ts
View file

@ -42,6 +42,9 @@ const extensionBlacklist = [
]; ];
const isBlacklisted = (fsPath: string | undefined) => {
return extensionBlacklist.find(bItem => fsPath?.includes(bItem))
}
class ExtensionTransferService extends Disposable implements IExtensionTransferService { class ExtensionTransferService extends Disposable implements IExtensionTransferService {
_serviceBrand: undefined; _serviceBrand: undefined;
@ -89,25 +92,21 @@ class ExtensionTransferService extends Disposable implements IExtensionTransferS
await fileService.createFolder(toParent) await fileService.createFolder(toParent)
} }
for (const extensionFolder of stat.children ?? []) { for (const extensionFolder of stat.children ?? []) {
if (extensionBlacklist.find(bItem => extensionFolder.resource.path.includes(bItem))) {
console.log('Skipping...', extensionFolder.resource.path)
continue
}
const from = extensionFolder.resource const from = extensionFolder.resource
const to = URI.joinPath(toParent, extensionFolder.name) const to = URI.joinPath(toParent, extensionFolder.name)
const toStat = await fileService.resolve(from) const toStat = await fileService.resolve(from)
if (toStat.isDirectory) { if (toStat.isDirectory) {
await fileService.copy(from, to, true) if (!isBlacklisted(extensionFolder.resource.fsPath)) {
await fileService.copy(from, to, true)
}
} }
else if (toStat.isFile) { else if (toStat.isFile) {
if (extensionFolder.name === 'extensions.json') { if (extensionFolder.name === 'extensions.json') {
try { try {
const contentsStr = await fileService.readFile(from) const contentsStr = await fileService.readFile(from)
const json: any = JSON.parse(contentsStr.value.toString()) const json: any = JSON.parse(contentsStr.value.toString())
const j2 = json.filter((entry: { identifier?: { id?: string } }) => const j2 = json.filter((entry: { identifier?: { id?: string } }) => !isBlacklisted(entry?.identifier?.id))
!extensionBlacklist.find(bItem => entry?.identifier?.id?.includes(bItem))
)
const jsonStr = JSON.stringify(j2) const jsonStr = JSON.stringify(j2)
await fileService.writeFile(to, VSBuffer.fromString(jsonStr)) await fileService.writeFile(to, VSBuffer.fromString(jsonStr))
} }
@ -141,24 +140,24 @@ class ExtensionTransferService extends Disposable implements IExtensionTransferS
const eURI = await fileService.resolve(extensionsURI) const eURI = await fileService.resolve(extensionsURI)
for (const child of eURI.children ?? []) { for (const child of eURI.children ?? []) {
// if is not blacklisted, continue
if (!extensionBlacklist.find(bItem => child.resource.path.includes(bItem))) {
continue
}
try { try {
if (child.isDirectory) { if (child.isDirectory) {
console.log('Deleting extension', child.resource.fsPath) // if is blacklisted
await fileService.del(child.resource, { recursive: true, useTrash: true }) if (isBlacklisted(child.resource.fsPath)) {
console.log('Deleting extension', child.resource.fsPath)
await fileService.del(child.resource, { recursive: true, useTrash: true })
}
} }
else if (child.isFile) { else if (child.isFile) {
// if is extensions.json
if (child.name === 'extensions.json') { if (child.name === 'extensions.json') {
console.log('Updating extensions.json', child.resource.fsPath)
try { try {
const contentsStr = await fileService.readFile(child.resource) const contentsStr = await fileService.readFile(child.resource)
const json: any = JSON.parse(contentsStr.value.toString()) const json: any = JSON.parse(contentsStr.value.toString())
const j2 = json.filter((entry: { identifier?: { id?: string } }) => const j2 = json.filter((entry: { identifier?: { id?: string } }) => !isBlacklisted(entry?.identifier?.id))
!extensionBlacklist.find(bItem => entry?.identifier?.id?.includes(bItem))
)
const jsonStr = JSON.stringify(j2) const jsonStr = JSON.stringify(j2)
await fileService.writeFile(child.resource, VSBuffer.fromString(jsonStr)) await fileService.writeFile(child.resource, VSBuffer.fromString(jsonStr))
} }