osbuild.py/pipeline: assign a unique id to every pipeline

This uniquely identifies a pipeline based on its content. Pipelines
are considered equal modulo whitespace and the order of object
elements.

The intention is that two runs of a pipeline with the same id
generates functionaly equivalent ids. It is up to the writers
of stages and pipelines to ensure this property holds.

Signed-off-by: Tom Gundersen <teg@jklm.no>
This commit is contained in:
Tom Gundersen 2019-07-02 21:19:15 +02:00 committed by Lars Karlitski
parent 1219f1dc55
commit f25cffa151
2 changed files with 8 additions and 0 deletions

View file

@ -30,6 +30,9 @@ if __name__ == "__main__":
pipeline = json.load(f)
pipeline = osbuild.Pipeline(pipeline)
print()
print(f"{RESET}{BOLD}Pipeline: {pipeline.id}{RESET}")
try:
pipeline.run(args.input_dir, args.output_dir, interactive=True)
except KeyboardInterrupt: