src/eric7/SystemUtilities/FileSystemUtilities.py

branch
server
changeset 10603
8093b9e14b75
parent 10597
fbe93720ee9f
child 10680
306373ccf8fd
equal deleted inserted replaced
10602:a767e9c400fa 10603:8093b9e14b75
791 @param fileName plain file name 791 @param fileName plain file name
792 @type str 792 @type str
793 @return device file name 793 @return device file name
794 @rtype str 794 @rtype str
795 """ 795 """
796 return f"{_DeviceFileMarker}{fileName}" 796 if fileName.startswith(_DeviceFileMarker):
797 # it is already a device file name
798 return fileName
799 else:
800 return f"{_DeviceFileMarker}{fileName}"
797 801
798 802
799 def isDeviceFileName(fileName): 803 def isDeviceFileName(fileName):
800 """ 804 """
801 Function to check, if the given file name is a device file name. 805 Function to check, if the given file name is a device file name.
815 @param fileName plain file name 819 @param fileName plain file name
816 @type str 820 @type str
817 @return remote file name 821 @return remote file name
818 @rtype str 822 @rtype str
819 """ 823 """
820 return f"{_RemoteFileMarker}{fileName}" 824 if fileName.startswith(_RemoteFileMarker):
825 # it is already a remote file name
826 return fileName
827 else:
828 return f"{_RemoteFileMarker}{fileName}"
821 829
822 830
823 def isRemoteFileName(fileName): 831 def isRemoteFileName(fileName):
824 """ 832 """
825 Function to check, if the given file name is a remote file name. 833 Function to check, if the given file name is a remote file name.

eric ide

mercurial