From 9eb897b655b2fc9b859461ddece61300d00ef3de Mon Sep 17 00:00:00 2001 From: mp Date: Fri, 25 Oct 2024 21:55:15 -0700 Subject: [PATCH] Better file reading function --- .../void/src/common/readFileContentOfUri.ts | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/extensions/void/src/common/readFileContentOfUri.ts b/extensions/void/src/common/readFileContentOfUri.ts index d0f2e990..8e7e947e 100644 --- a/extensions/void/src/common/readFileContentOfUri.ts +++ b/extensions/void/src/common/readFileContentOfUri.ts @@ -1,6 +1,14 @@ import * as vscode from 'vscode' -export const readFileContentOfUri = async (uri: vscode.Uri) => { - return Buffer.from(await vscode.workspace.fs.readFile(uri)).toString('utf8') - .replace(/\r\n/g, '\n') // replace windows \r\n with \n -} \ No newline at end of file + +export const readFileContentOfUri = async (uri: vscode.Uri): Promise => { + const document = await vscode.workspace.openTextDocument(uri); + return document.getText().replace(/\r\n/g, '\n') ?? '' // Normalize line endings + +}; + +// this is the old version, which only reads the most recently saved version +// export const readFileContentOfUri = async (uri: vscode.Uri) => { +// return Buffer.from(await vscode.workspace.fs.readFile(uri)).toString('utf8') +// .replace(/\r\n/g, '\n') // replace windows \r\n with \n +// }