Fix extra dot in pasted file names (#161434)

This commit is contained in:
Matt Bierner 2022-09-21 14:29:21 -07:00 committed by GitHub
parent 07a5d2749f
commit 023930e3dc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -85,7 +85,7 @@ class PasteEditProvider implements vscode.DocumentPasteEditProvider {
const baseName = path.basename(file.name, ext);
for (let i = 0; ; ++i) {
const name = i === 0 ? baseName : `${baseName}-${i}`;
const uri = vscode.Uri.joinPath(root, `${name}.${ext}`);
const uri = vscode.Uri.joinPath(root, `${name}${ext}`);
try {
await vscode.workspace.fs.stat(uri);
} catch {