Ticket #43930

generate_packets.py: Use pathlib for file path handling

Eröffnet am: 2022-02-19 22:21 Letztes Update: 2022-02-22 21:10

Auswertung:
Verantwortlicher:
Typ:
Status:
Geschlossen
Komponente:
Meilenstein:
Priorität:
5 - Mittel
Schweregrad:
5 - Mittel
Lösung:
Gefixt
Datei:
1

Details

Part of #43927. Using pathlib allows for clean, filesystem-agnostic handling of paths.

Ticket-Verlauf (3/7 Historien)

2022-02-19 22:21 Aktualisiert von: alienvalkyrie
  • New Ticket "generate_packets.py: Use pathlib for file path handling" created
2022-02-20 11:58 Aktualisiert von: alienvalkyrie
  • Verantwortlicher Update from (Keine) to alienvalkyrie
  • Meilenstein Update from 3.1.0 (closed) to 3.2.0
  • Komponente Update from General to Bootstrap
2022-02-20 13:15 Aktualisiert von: alienvalkyrie
  • Lösung Update from Keine to Accepted
Kommentar

In addition to cleaning up parts of the code, this patch finally makes it possible to run the script on Windows without running into issues due to mixed path separators.

2022-02-20 14:03 Aktualisiert von: cazfi
Kommentar

Reply To alienvalkyrie

In addition to cleaning up parts of the code, this patch finally makes it possible to run the script on Windows without running into issues due to mixed path separators.

I assume that by "path separators" you mean separator between a directory and its subdirectory, not separator between entire paths like in PATH environment variable and the like.

Is there a risk that this *introduces* mixed dir separators? The build system runs it with parameters given with '/' separator. If it then appends to that with '\' separators, the resulting path will contain both.

2022-02-20 21:14 Aktualisiert von: alienvalkyrie
Kommentar

Reply To cazfi

Reply To alienvalkyrie

In addition to cleaning up parts of the code, this patch finally makes it possible to run the script on Windows without running into issues due to mixed path separators.

I assume that by "path separators" you mean separator between a directory and its subdirectory, not separator between entire paths like in PATH environment variable and the like.

Yes, thank you. "path separators" was the wrong word to use there.

Is there a risk that this *introduces* mixed dir separators? The build system runs it with parameters given with '/' separator. If it then appends to that with '\' separators, the resulting path will contain both.

There is not – that kind of issue is precisely what pathlib is designed to handle. Since Windows file and directory names aren't allowed to contain slashes anyway, those are safely parsed as separating directories (in fact, until the point where a path is given to the OS or otherwise turned into a plain string, I believe slashes are used internally even for Windows paths).

To be sure, I tested the script on both Windows and Linux – on Windows, the verbose log messages (where paths are stringified) have backslashes in them (even where the build system passed paths with slashes, since every path passes through pathlib), but apart from that, everything is identical.

(Edited, 2022-02-20 21:15 Aktualisiert von: alienvalkyrie)
2022-02-22 21:10 Aktualisiert von: alienvalkyrie
  • Status Update from Offen to Geschlossen
  • Lösung Update from Accepted to Gefixt

Bearbeiten

Please login to add comment to this ticket » Anmelden