POOLTYPE(1)

📦
version 77830 · 6 versions
, in alpine 3.24, fedora 44, opensuse-leap 16.0, ubuntu resolute

💅 POOLTYPE — bestie, it's a manual page, and it's giving useful

okay so real talk, this is pooltype, a General Commands Manual situation, and it does exactly one thing and does it slay: it shows you a WEB pool file. that's it. that's the whole vibe. 🦋

✨ NAME ✨

pooltype — display a WEB pool file 🌸

🎀 SYNOPSIS 🎀

pooltype pool_file_name

💖 DESCRIPTION 💖

okay so first things first, bestie — this manual page is not meant to be exhaustive, like it's not the whole story, it's the trailer not the movie. 🎬 the complete documentation for this version of TeX lives in the info file or the manual Web2C: A TeX implementation. go read that if you want the full lore, iykyk.

so what does pooltype actually do? it translates a (program-oriented) Web string pool file into a (human-oriented) text file. program-oriented ➡️ human-oriented. it's literally a glow-up in file format form. ✨

and now the important part, no cap:

  • pool_file_name must be complete. like, fully complete.
  • there is no adding of default extensions.
  • there is no path searching.

so if you're out here typing a partial name expecting the computer to read your mind and fill in the rest? it will not. it's not gonna guess. it's not gonna go looking. you give it the whole entire path and name, or you give it nothing. periodt. 💅

🌈 SEE ALSO 🌈

👑 AUTHORS 👑

Donald E. Knuth wrote the program and originally ported it to Unix. iconic behavior, truly the main character of typesetting. 🫶

it was published as part of the TeXware technical report, available from the TeX Users Group.

and that's the whole page, bestie!! this little legend comes to you from Web2C 2025, dated 16 June 2015 — go forth and pool-type responsibly 💖✨🎀

📦 where this page comes from