HomeSoftware Heritage

rename int2pid/pid2int to node2pid/pid2node on the Python side

Description

rename int2pid/pid2int to node2pid/pid2node on the Python side

For naming uniformity with the Java side, that uses "node" for integer node IDs
everywhere. Before this change it was really confusing to have commands like
"swh map dump -t int2pid" to generate files like "foo.node2pid.bin".

Details

Provenance
zackAuthored on Nov 5 2019, 9:31 AM
zackPushed on Nov 5 2019, 10:40 AM
Parents
rDGRPH6f8266a5caaa: pid2int2int2pid: new tool to generate int->PID map from PID->int one
Branches
Unknown
Tags
Unknown