Forrest logo
back to context overview

strip-nondeterminism

List of commands for strip-nondeterminism:

  • strip-nondeterminism:tldr:421b4 strip-nondeterminism: Strip nondeterministic information from a file.
    $ strip-nondeterminism ${filename}
    try on your machine
    explain this command
  • strip-nondeterminism:tldr:6098b strip-nondeterminism: Strip nondeterministic information from a file manually specifying the filetype.
    $ strip-nondeterminism --type ${filetype} ${filename}
    try on your machine
    explain this command
  • strip-nondeterminism:tldr:a4029 strip-nondeterminism: Strip nondeterministic information from a file; instead of removing timestamps set them to the specified UNIX timestamp.
    $ strip-nondeterminism --timestamp ${unix_timestamp} ${filename}
    try on your machine
    explain this command
back to context overview