src/eric7/SystemUtilities/FileSystemUtilities.py

branch
eric7
changeset 10521
a51b382e47d7
parent 10439
21c28b0f9e41
child 10561
be23a662d709
child 10668
2be6fadcac40
equal deleted inserted replaced
10520:dd95c3cbb35e 10521:a51b382e47d7
759 ## Functions below handle (MicroPython) device and remote file names. 759 ## Functions below handle (MicroPython) device and remote file names.
760 ################################################################################ 760 ################################################################################
761 761
762 762
763 _DeviceFileMarker = "device:" 763 _DeviceFileMarker = "device:"
764 _RemoteFileMarker = "remote:"
764 765
765 766
766 def deviceFileName(fileName): 767 def deviceFileName(fileName):
767 """ 768 """
768 Function to create a device (MicroPython) file name given a plain file name. 769 Function to create a device (MicroPython) file name given a plain file name.
785 @rtype bool 786 @rtype bool
786 """ 787 """
787 return fileName.startswith(_DeviceFileMarker) 788 return fileName.startswith(_DeviceFileMarker)
788 789
789 790
790 _RemoteFileMarker = "remote:"
791
792
793 def remoteFileName(fileName): 791 def remoteFileName(fileName):
794 """ 792 """
795 Function to create a remote file name given a plain file name. 793 Function to create a remote file name given a plain file name.
796 794
797 @param fileName plain file name 795 @param fileName plain file name

eric ide

mercurial