Enter a command. For example: ghci, tuir, picard, git info, iverilog.


Execute commands once at a later time. Service atd (or atrun) should be running for the actual executions. More information:
  • Execute commands from standard input in 5 minutes (press Ctrl + D when done):
    at now + 5 minutes
  • Execute a command from standard input at 10:00 AM today:
    echo "{{./}}" | at 1000
  • Execute commands from a given file next Tuesday:
    at -f {{path/to/file}} 9:30 PM Tue

This is a tldr pages (source, CC BY 4.0) web wrapper for All commands, popular commands, most used linux commands. Referrals. Progressive Web Application (PWA) version to install on your device.