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): |