💾 Archived View for freeshell.de › tldr › strip-nondeterminism.gmi captured on 2023-07-10 at 14:58:36. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

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}

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY