--- a/src/eric7/Debugger/DebuggerInterfacePython.py Sun Oct 27 12:24:36 2024 +0100 +++ b/src/eric7/Debugger/DebuggerInterfacePython.py Sun Oct 27 15:52:30 2024 +0100 @@ -11,6 +11,7 @@ import json import logging import os +import re import shlex import struct import time @@ -127,11 +128,29 @@ @rtype str """ if remote2local: - path = fn.replace(self.translateRemote, self.translateLocal) + path = ( + re.sub( + f"^{re.escape(self.translateRemote)}", + self.translateLocal, + fn, + flags=re.IGNORECASE, + ) + if self.translateRemoteWindows + else fn.replace(self.translateRemote, self.translateLocal) + ) if self.translateLocalWindows: path = path.replace("/", "\\") else: - path = fn.replace(self.translateLocal, self.translateRemote) + path = ( + re.sub( + f"^{re.escape(self.translateLocal)}", + self.translateRemote, + fn, + flags=re.IGNORECASE, + ) + if self.translateLocalWindows + else fn.replace(self.translateLocal, self.translateRemote) + ) if not self.translateRemoteWindows: path = path.replace("\\", "/")