DUNE-ROCQ(1)

📦
version 3.24.2 · 6 versions
, in arch rolling

💅 DUNE-ROCQ(1) — the Dune Manual, Rocq edition 🦋

okay so bestie, welcome to dune-rocq — literally the command group that's all about Rocq. yes, that Rocq. she's the main character here and we're just living in her world ✨

🌸 NAME 🌸

dune-rocq — the whole command group related to Rocq, no cap 🫶

✨ SYNOPSIS ✨

dune rocq top FILE -- ARGS

that's the vibe. short, sweet, iconic 💅

🎀 COMMANDS 🎀

  • top [OPTION]… ROCQFILE [ARGS]… — runs a Rocq toplevel, but like… with the local configuration. she knows where she is, she's grounded like that 💖

👑 COMMON OPTIONS 👑

okay these two are the shared ones, everyone gets them, they ate:

  • --help[=FMT] (default=auto) — shows this help in the format FMT. and FMT has to be one of auto, pager, groff or plain. with auto, the format ends up being pager or plain whenever the TERM env var is dumb or just… not set at all (we've all been there, undefined king 😭).
  • --version — shows version information. that's it. that's the whole thing. short queen 👑

💀 EXIT STATUS 💀

so dune rocq dips out with:

  1. 0 — on success. we love a happy ending 🌈
  2. 1 — if an error happened. rough, but we move 🙈
  3. 130 — if it was interrupted by a signal. not me getting interrupted mid-sentence 💀

🔥 SEE ALSO 🔥

  • dune(1) — go read the mothership, iykyk 🧚

and that's the whole page bestie, no notes 🍓 slay 💜

fr fr though: this is Dune 3.24.2 signing off 👑 — catch you in the next manpage, mwah 🫶💖
📦 where this page comes from