TEXLAB(1)

πŸ“¦
version 5.26.0 Β· 2 versions
, in nixpkgs unstable

πŸ’… TEXLAB(1) β€” like, the whole manual bestie πŸ’–

okay so this is the manual page for texlab, and the version we're talking about is literally 5.26.0 (User Commands energy ✨). Buckle up, it's short but it's iconic.


πŸ¦‹ SYNOPSIS πŸ¦‹

texlab [OPTIONS] [COMMAND]

that's it. that's the whole vibe check. options, then optionally a command. slay.


🌸 DESCRIPTION 🌸

so texlab is an implementation of the Language Server Protocol for LaTeX. yes bestie, LaTeX gets a language server too, we're not out here raw-dogging \begin{document} with zero autocomplete. πŸŽ€


πŸ‘‘ Commands πŸ‘‘

  • run β€” Runs the language server in an editor context using STDIN and STDOUT. this is the main character of the whole operation ngl.
  • inverse-search β€” Opens a document at a specific line. like click-to-jump but the other direction, iykyk πŸ¦‹
  • help β€” Print this message or the help of the given subcommand(s). when in doubt, ask help, she always answers πŸ’…

✨ OPTIONS ✨

  • -v, --verbosity... β€” Increase message verbosity (-vvvv for max verbosity). note the ... bestie, that means you can stack 'em. one -v is a little chatty, -vvvv is screaming every thought into your terminal πŸ—£οΈπŸ’€
  • -q, --quiet β€” No output printed to stderr. if you want silence and peace and absolutely zero yapping, this is your girl 🌸
  • --log-file <FILE> β€” Write the logging output to FILE. take all those logs and put 'em somewhere else, we're not reading them in the terminal like a peasant πŸ““βœ¨
  • -h, --help β€” Print help. always free, always there for you 🫢
  • -V, --version β€” Print version. so you can be like "wait what version am i on" and then get told 5.26.0 πŸ’–

lowkey important reminder: those -v flags go hard on verbosity. -vvvv is the max, no cap. don't come crying when your terminal is a wall of text 😭

okay that's genuinely the whole thing, no secret extra flags hiding in the basement πŸ™ˆ β€” and before you go, the version on deck was texlab 5.26.0, and this page was dated January 1980 (yes, really, that's the date it says, we don't question the manpage elders πŸ’€). love u, go write some LaTeX, periodt πŸ’œπŸŒˆβ­

πŸ“¦ where this page comes from