This commit is contained in:
João Moreno 2020-08-05 11:40:28 +02:00
parent 5bce26e574
commit b18015d0f8
No known key found for this signature in database
GPG key ID: 896B853774D1A575

View file

@ -140,6 +140,10 @@ export async function publishRepository(gitAPI: GitAPI, repository?: Repository)
const ignored = new Set(children);
result.forEach(c => ignored.delete(c.label));
if (ignored.size === 0) {
return;
}
const raw = [...ignored].map(i => `/${i}`).join('\n');
const encoder = new TextEncoder();
await vscode.workspace.fs.writeFile(gitignore, encoder.encode(raw));