(line, prefix)
| 8 | |
| 9 | #----------- Remove prefix from a string ----------- |
| 10 | def remove_prefix(line, prefix): |
| 11 | if line.startswith(prefix): |
| 12 | return line[len(prefix):] |
| 13 | else: |
| 14 | return line |
| 15 | |
| 16 | #----------- Convert case-insensitive path to case-sensitive path ----------- |
| 17 | def casedpath_unc(path): |