Skip to content

Conversation

@jfeingold35
Copy link
Contributor

No description provided.

CONFIG_ROOT: 'config_root',
LOG_FOLDER: 'log_folder',
LOG_LEVEL: 'log_level',
WORKING_FOLDERS_ROOT: 'working_folders_root', // Hidden
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

hmm - part of me wants to have this say "root_working_folder" instead... because it parallels "log_folder" in a way. I'm even on the fence wondering if we instead call this "working_folder" and remove root as it can be implied - sort of like how log_folder is a bit implied. But since it is hidden - we can do naming if we ever decide to make this exposed.

private relPathsToKeep: Set<string> = new Set();

constructor(fileSystem: FileSystem = new RealFileSystem(), rootFolderPrefix: string = path.join(os.tmpdir(), 'code-analyzer-')) {
constructor(fileSystem: FileSystem = new RealFileSystem(), rootFolderPath: string = os.tmpdir()) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Notice how you have this say rootFolderPath - which is another indication that we are dealing with a rootWorkingFolder instead of a workingFoldersRoot. Just an observation.

constructor(fileSystem: FileSystem = new RealFileSystem(), rootFolderPath: string = os.tmpdir()) {
this.fileSystem = fileSystem;
this.rootFolderPrefix = rootFolderPrefix;
this.rootFolderPrefix = path.join(rootFolderPath, 'code-analyzer-');
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see you removed option to supply the prefix. I think this is fine since I was on the fence of whether to do so before. Until we reuse the TempFolder for other purposes - this seems fine.

@jfeingold35 jfeingold35 changed the title NEW @W-19397402@ Added hidden working_folders_root config property NEW @W-19397402@ Added hidden root_working_folder config property Oct 16, 2025
@jfeingold35 jfeingold35 merged commit 5164475 into dev Oct 16, 2025
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants