WINDOWS/w10install
0
Fork 0
Code Issues 2 Releases 5 Activity

bugfix

Browse Source
This commit is contained in:
Michael H.G. Schmidt 2023-01-22 13:37:14 +01:00
parent c9b28639a9
commit 63980f7cf9
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/settings.cmd
View File

@ -11,4 +11,5 @@ set explorer_quick_access=1
set preserve_savedgames_folder=1 set preserve_savedgames_folder=1
set searchdomains=localdomain,fritz.box set searchdomains=localdomain,fritz.box
set gitserver=github.com set gitserver=github.com
set gitrepo= set gitrepo=my_repo_at_github

3
tools/personalfiles.cmd
View File

@ -9,6 +9,8 @@ set SCRIPT_SETTINGS=%TOOLS%\scripts\settings.cmd
set COMPANY_SETTINGS=%TOOLS%\company\settings.cmd set COMPANY_SETTINGS=%TOOLS%\company\settings.cmd
set PERSONALFILES_DONE=%LOCALAPPDATA%\.personalfiles_done set PERSONALFILES_DONE=%LOCALAPPDATA%\.personalfiles_done
set GITWORKDIR=%USERPROFILE%\workspace\git set GITWORKDIR=%USERPROFILE%\workspace\git
set gitrepo=undefined
set gitserver=undefined
rem already done ? rem already done ?
if EXIST %PERSONALFILES_DONE% ( if EXIST %PERSONALFILES_DONE% (
@ -100,3 +102,4 @@ echo 1 >%PERSONALFILES_DONE%
echo ####### %0 ####### echo ####### %0 #######
:END :END