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 # TODO: change these to 'xxx#' because the pattern collides with Windows drives |
707 _DeviceFileMarker = "device:" |
707 _DeviceFileMarker = "device:" |
708 _RemoteFileMarker = "remote:" |
708 _RemoteFileMarker = "remote:" |
709 |
709 |
710 |
710 |
711 def deviceFileName(fileName): |
711 def deviceFileName(fileName): |