From 8740bbc2bb5b52d364fc48d25cd7a192bfa4d3f7 Mon Sep 17 00:00:00 2001 From: Juri Date: Mon, 12 Oct 2020 23:37:54 +0200 Subject: [PATCH] strip-nondeterminism: add page (#4647) --- pages/common/strip-nondeterminism.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 pages/common/strip-nondeterminism.md diff --git a/pages/common/strip-nondeterminism.md b/pages/common/strip-nondeterminism.md new file mode 100644 index 000000000..945b46ae8 --- /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}}`