Mercurial Repositories > eric / file comparison
comparison: src/eric7/SystemUtilities/FileSystemUtilities.py
src/eric7/SystemUtilities/FileSystemUtilities.py
- branch
- eric7
- changeset 10991
- e93595883b7d
- parent 10974
- a2fd00b78f94
- child 11090
- f5f5f5803935
equal
deleted
inserted
replaced
| 10990:31677cc3713e | 10991:e93595883b7d |
|---|---|
| 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 _DeviceFileMarker = "device#" | 706 _DeviceFileMarker = "device::" |
| 707 _RemoteFileMarker = "remote#" | 707 _RemoteFileMarker = "remote::" |
| 708 | 708 |
| 709 | 709 |
| 710 def deviceFileName(fileName): | 710 def deviceFileName(fileName): |
| 711 """ | 711 """ |
| 712 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. |
