src/eric7/SystemUtilities/FileSystemUtilities.py

branch
eric7
changeset 10974
a2fd00b78f94
parent 10973
484b5440fd1e
child 10991
e93595883b7d
equal deleted inserted replaced
10973:484b5440fd1e 10974:a2fd00b78f94
701 ################################################################################ 701 ################################################################################
702 ## Functions below handle (MicroPython) device and remote file names. 702 ## Functions below handle (MicroPython) device and remote file names.
703 ################################################################################ 703 ################################################################################
704 704
705 705
706 # TODO: change these to 'xxx#' because the pattern collides with Windows drives 706 _DeviceFileMarker = "device#"
707 _DeviceFileMarker = "device:" 707 _RemoteFileMarker = "remote#"
708 _RemoteFileMarker = "remote:"
709 708
710 709
711 def deviceFileName(fileName): 710 def deviceFileName(fileName):
712 """ 711 """
713 Function to create a device (MicroPython) file name given a plain file name. 712 Function to create a device (MicroPython) file name given a plain file name.

eric ide

mercurial