--- a/src/eric7/SystemUtilities/FileSystemUtilities.py Mon Jan 22 11:47:06 2024 +0100 +++ b/src/eric7/SystemUtilities/FileSystemUtilities.py Tue Jan 23 11:32:20 2024 +0100 @@ -761,6 +761,7 @@ _DeviceFileMarker = "device:" +_RemoteFileMarker = "remote:" def deviceFileName(fileName): @@ -787,9 +788,6 @@ return fileName.startswith(_DeviceFileMarker) -_RemoteFileMarker = "remote:" - - def remoteFileName(fileName): """ Function to create a remote file name given a plain file name.