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