Tíquete #43930

generate_packets.py: Use pathlib for file path handling

: 2022-02-19 22:21 Última Atualização: 2022-02-22 21:10

Relator:
Tipo:
Estado:
Fechado
Componente:
Marcos:
Prioridade:
5 - Medium
Gravidade:
5 - Medium
Resolução:
Fixed
Arquivo:
1

Details

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

Ticket History (3/7 Histories)

2022-02-19 22:21 Updated by: alienvalkyrie
  • New Ticket "generate_packets.py: Use pathlib for file path handling" created
2022-02-20 11:58 Updated by: alienvalkyrie
  • Dono Update from (Nenhum) to alienvalkyrie
  • Marco Update from 3.1.0 (fechado) to 3.2.0
  • Componente Update from General to Bootstrap
2022-02-20 13:15 Updated by: alienvalkyrie
  • Resolução Update from Nenhum to Accepted
Comentário

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 Updated by: cazfi
Comentário

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 Updated by: alienvalkyrie
Comentário

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 Updated by: alienvalkyrie)
2022-02-22 21:10 Updated by: alienvalkyrie
  • Estado Update from Aberto to Fechado
  • Resolução Update from Accepted to Fixed

Editar

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Login