coq-platform-comparison(1)

✨ coq-platform-comparison ✨

okay bestie so this is a page from the General Commands Manual, and it's giving very niche-but-iconic Debian tooling energy 🎀

coq-platform-comparison — compare with the Coq Platform 🦋

coq-platform-comparison

no args, no flags, no drama. she just runs. periodt 💅

so like, this script is literally here to compare what Debian has with what the Coq Platform has 👑

and then you use that tea to plan for updates ✨ that's the whole vibe, no cap.

run it, pipe the output into an HTML file, then ship that file over to your web space, bestie:

coq-platform-comparison > coq_platform.html scp coq_platform.html people.debian.org:~/public_html/

main character deployment energy fr fr 🫶

Julien Puydt <jpuydt@debian.org> — the icon who made this happen, we stan 😭💖

lowkey reminder: this page lives in the General Commands Manual, filed under coq-platform-comparison(1) 🌟

and that's the whole page, bestie — ty for coming to my ted talk, mwah 💋🌸✨

📦 where this page comes from