src/eric7/SystemUtilities/FileSystemUtilities.py

branch
eric7
changeset 10971
b9d883f73dff
parent 10791
ca9ece290f71
child 10973
484b5440fd1e
equal deleted inserted replaced
10970:2ad8a7d0867c 10971:b9d883f73dff
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 because the pattern collides with Windows drives
706 _DeviceFileMarker = "device:" 707 _DeviceFileMarker = "device:"
707 _RemoteFileMarker = "remote:" 708 _RemoteFileMarker = "remote:"
708 709
709 710
710 def deviceFileName(fileName): 711 def deviceFileName(fileName):

eric ide

mercurial