From 6dd29306a359a693475fdf8fb3f9560ef02a143e Mon Sep 17 00:00:00 2001
From: "Michael H.G. Schmidt" <michael@schmidt2.de>
Date: Thu, 4 Jan 2024 15:24:41 +0100
Subject: [PATCH] bugfix
---
tools/personalfiles.cmd | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tools/personalfiles.cmd b/tools/personalfiles.cmd
index 8816036..882cfe5 100644
--- a/tools/personalfiles.cmd
+++ b/tools/personalfiles.cmd
@@ -91,7 +91,7 @@ if EXIST %GITWORKDIR%\%gitrepo% (
if "%HOMEDRIVE%%HOMEPATH%" NEQ "%USERPROFILE%" (
echo copying users gitconfig for the domain drive ...
- copy /Y %GITWORKDIR%\%gitrepo%\id*.* "%HOMEDRIVE%%HOMEPATH%"\.ssh 2>nul
+ copy /Y %GITWORKDIR%\%gitrepo%\id*.* "%HOMEDRIVE%%HOMEPATH%".ssh
)
)
@@ -102,7 +102,7 @@ if EXIST %GITWORKDIR%\%gitrepo%\gitconfig (
if "%HOMEDRIVE%%HOMEPATH%" NEQ "%USERPROFILE%" (
echo copying users gitconfig for the domain drive ...
- copy /Y %GITWORKDIR%\%gitrepo%\gitconfig "%HOMEDRIVE%%HOMEPATH%"\.gitconfig
+ copy /Y %GITWORKDIR%\%gitrepo%\gitconfig "%HOMEDRIVE%%HOMEPATH%".gitconfig
)
)