This commit is contained in:
João Moreno 2020-08-07 20:04:41 +02:00
parent 7182cbab07
commit 4d7ee02205
No known key found for this signature in database
GPG key ID: 896B853774D1A575

View file

@ -140,13 +140,11 @@ 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;
if (ignored.size > 0) {
const raw = [...ignored].map(i => `/${i}`).join('\n');
const encoder = new TextEncoder();
await vscode.workspace.fs.writeFile(gitignore, encoder.encode(raw));
}
const raw = [...ignored].map(i => `/${i}`).join('\n');
const encoder = new TextEncoder();
await vscode.workspace.fs.writeFile(gitignore, encoder.encode(raw));
} finally {
quickpick.dispose();
}