Mercurial Repositories > eric / file comparison
comparison: src/eric7/SystemUtilities/FileSystemUtilities.py
src/eric7/SystemUtilities/FileSystemUtilities.py
- branch
- eric7
- changeset 10388
- a34ce7f42e8b
- parent 10339
- 446d22fa1aea
- child 10393
- 434e1b0bc49e
equal
deleted
inserted
replaced
| 10387:8cf53170e290 | 10388:a34ce7f42e8b |
|---|---|
| 662 ] | 662 ] |
| 663 mountedPaths = [x for x in mounts if x.startswith(mountPathStart)] | 663 mountedPaths = [x for x in mounts if x.startswith(mountPathStart)] |
| 664 break | 664 break |
| 665 | 665 |
| 666 return mountedPaths | 666 return mountedPaths |
| 667 | |
| 668 | |
| 669 ################################################################################ | |
| 670 ## Functions below handle (MicroPython) device and remote file names. | |
| 671 ################################################################################ | |
| 672 | |
| 673 | |
| 674 _DeviceFileMarker = "device:" | |
| 675 | |
| 676 | |
| 677 def deviceFileName(fileName): | |
| 678 """ | |
| 679 Function to create a device (MicroPython) file name given a plain file name. | |
| 680 | |
| 681 @param fileName plain file name | |
| 682 @type str | |
| 683 @return device file name | |
| 684 @rtype str | |
| 685 """ | |
| 686 return f"{_DeviceFileMarker}{fileName}" | |
| 687 | |
| 688 | |
| 689 def isDeviceFileName(fileName): | |
| 690 """ | |
| 691 Function to check, if the given file name is a device file name. | |
| 692 | |
| 693 @param fileName file name to be checked | |
| 694 @type str | |
| 695 @return flag indicating a device file name | |
| 696 @rtype bool | |
| 697 """ | |
| 698 return fileName.startswith(_DeviceFileMarker) | |
| 699 | |
| 700 | |
| 701 _RemoteFileMarker = "remote:" | |
| 702 | |
| 703 | |
| 704 def remoteFileName(fileName): | |
| 705 """ | |
| 706 Function to create a remote file name given a plain file name. | |
| 707 | |
| 708 @param fileName plain file name | |
| 709 @type str | |
| 710 @return remote file name | |
| 711 @rtype str | |
| 712 """ | |
| 713 return f"{_RemoteFileMarker}{fileName}" | |
| 714 | |
| 715 | |
| 716 def isRemoteFileName(fileName): | |
| 717 """ | |
| 718 Function to check, if the given file name is a remote file name. | |
| 719 | |
| 720 @param fileName file name to be checked | |
| 721 @type str | |
| 722 @return flag indicating a remote file name | |
| 723 @rtype bool | |
| 724 """ | |
| 725 return fileName.startswith(_RemoteFileMarker) | |
| 726 | |
| 727 | |
| 728 def isPlainFileName(fileName): | |
| 729 """ | |
| 730 Function to check, if the given file name is a plain (i.e. local) file name. | |
| 731 | |
| 732 @param fileName file name to be checked | |
| 733 @type str | |
| 734 @return flag indicating a local file name | |
| 735 @rtype bool | |
| 736 """ | |
| 737 return not fileName.startswith((_DeviceFileMarker, _RemoteFileMarker)) | |
| 738 | |
| 739 | |
| 740 def plainFileName(fileName): | |
| 741 """ | |
| 742 Function to create a plain file name given a device or remote file name. | |
| 743 | |
| 744 @param fileName device or remote file name | |
| 745 @type str | |
| 746 @return plain file name | |
| 747 @rtype str | |
| 748 """ | |
| 749 return fileName.replace(_DeviceFileMarker, "").replace(_RemoteFileMarker, "") |
