diff -r 31677cc3713e -r e93595883b7d src/eric7/SystemUtilities/FileSystemUtilities.py --- a/src/eric7/SystemUtilities/FileSystemUtilities.py Sun Oct 20 15:51:03 2024 +0200 +++ b/src/eric7/SystemUtilities/FileSystemUtilities.py Sun Oct 20 18:43:11 2024 +0200 @@ -703,8 +703,8 @@ ################################################################################ -_DeviceFileMarker = "device#" -_RemoteFileMarker = "remote#" +_DeviceFileMarker = "device::" +_RemoteFileMarker = "remote::" def deviceFileName(fileName):