From d143e8576056a723593b799be6e373dd94bb1cf4 Mon Sep 17 00:00:00 2001
From: cmdr2 <secondary.cmdr2@gmail.com>
Date: Mon, 10 Jul 2023 12:37:49 +0530
Subject: [PATCH] Use the local profile folder for dev console

---
 scripts/Developer Console.cmd | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/Developer Console.cmd b/scripts/Developer Console.cmd
index 0efbda13..e60cf05b 100644
--- a/scripts/Developer Console.cmd	
+++ b/scripts/Developer Console.cmd	
@@ -41,6 +41,10 @@ call python --version
 
 echo PYTHONPATH=%PYTHONPATH%
 
+if exist "%cd%\profile" (
+    set HF_HOME=%cd%\profile\.cache\huggingface
+)
+
 @rem done
 echo.