chore: remove deprecation comment from getToolsDir, add changelog entry for #470

This commit is contained in:
Mario Zechner 2026-01-05 20:26:48 +01:00
parent a746e2c296
commit 22870ae0c2
3 changed files with 3 additions and 6 deletions

View file

@ -142,7 +142,7 @@ export function getSettingsPath(): string {
return join(getAgentDir(), "settings.json");
}
/** Get path to tools directory (deprecated, use extensions/ for JS/TS tools) */
/** Get path to tools directory */
export function getToolsDir(): string {
return join(getAgentDir(), "tools");
}

View file

@ -216,11 +216,7 @@ function checkDeprecatedExtensionDirs(baseDir: string, label: string): string[]
const customTools = entries.filter((e) => {
const lower = e.toLowerCase();
return (
lower !== "fd" &&
lower !== "rg" &&
lower !== "fd.exe" &&
lower !== "rg.exe" &&
!e.startsWith(".") // Ignore .DS_Store and other hidden files
lower !== "fd" && lower !== "rg" && lower !== "fd.exe" && lower !== "rg.exe" && !e.startsWith(".") // Ignore .DS_Store and other hidden files
);
});
if (customTools.length > 0) {