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. |