9.6 Invoking dzn hash

The dzn hash command computes the SHA1 hash of a Dezyne file and its imports.

dzn dzn-option… hash option… FILE…

The FILE must be a Dezyne-file. The hash can be used for caching or verification purposes.

Using --verbose on dzn also prints the name of the file. Running

dzn --verbose hash examples/hello.dzn

prints a hash of hello.dzn and its imports. It matches the output of running

dzn parse --no-directives examples/hello.dzn | sha1sum

The options can be among the following:

--help

-h

Display help on invoking dzn hash, and then exit.