diff --git a/pages/common/strip-nondeterminism.md b/pages/common/strip-nondeterminism.md new file mode 100644 index 0000000000..945b46ae81 --- /dev/null +++ b/pages/common/strip-nondeterminism.md @@ -0,0 +1,16 @@ +# strip-nondeterminism + +> A tool to remove non-deterministic information (e.g. timestamps) from files. +> More information: . + +- Strip nondeterministic information from a file: + +`strip-nondeterminism {{path/to/file}}` + +- Strip nondeterministic information from a file manually specifying the filetype: + +`strip-nondeterminism --type {{filetype}} {{path/to/file}}` + +- Strip nondeterministic information from a file; instead of removing timestamps set them to the specified UNIX timestamp: + +`strip-nondeterminism --timestamp {{unix_timestamp}} {{path/to/file}}`