Forrest logo
back to context overview

runlim

List of commands for runlim:

  • runlim:tldr:6f92c runlim: Limit space to an upper bound (in MB).
    $ runlim --space-limit=${number} ${command} ${command_arguments}
    try on your machine
    explain this command
  • runlim:tldr:9a1ff runlim: Print the time and memory usage of a command.
    $ runlim ${command} ${command_arguments}
    try on your machine
    explain this command
  • runlim:tldr:cc699 runlim: Log statistics to a file instead of `stdout`.
    $ runlim --output-file=${filename} ${command} ${command_arguments}
    try on your machine
    explain this command
  • runlim:tldr:eb39f runlim: Limit time to an upper bound (in seconds).
    $ runlim --time-limit=${number} ${command} ${command_arguments}
    try on your machine
    explain this command
  • runlim:tldr:f2ff0 runlim: Limit real-time to an upper bound (in seconds).
    $ runlim --real-time-limit=${number} ${command} ${command_arguments}
    try on your machine
    explain this command
back to context overview