NAUTY-DRETODOT(1)
β¨ nauty-dretodot β section 1 of the manual, bestie π
okay so this is the page for nauty-dretodot, a little utility that lives in the nauty suite. it's giving "one job" energy, and we're gonna be so real about it.
πΈ NAME πΈ
nauty-dretodot β a graph-processing utility from the nauty suite π
like, that's the whole name section. short, sweet, iconic. π
π¦ DESCRIPTION π¦
so. here's the thing. when you run it, this is literally what happens:
./nauty-dretodot: error while loading shared libraries:
libnauty-2.9.3.so: cannot open shared object file: No such file or
directory
and that's it. that's the description. no options, no flags, no examples, no SEE ALSO. not a single additional detail β the page tells you exactly one (1) thing and it is that it cannot open the shared object file libnauty-2.9.3.so, because there is no such file or directory π«
bestie, fr fr: the error is coming from./nauty-dretodotitself, and the missing piece islibnauty-2.9.3.so. that's all the page gives us, so that's all we're passing along. no cap. π
lowkey the shortest manpage I've ever read and honestly? it ate. minimalism is a vibe. π
signing off, mwah π β this was nauty-dretodot 2.9.3, dated January 2026. periodt. πβ¨
π¦ where this page comes from
- ubuntu resolute: nauty 2.9.3-3 Β· Apache-2.0
- ubuntu stonking: nauty 2.9.3-3 Β· Apache-2.0
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms