Skip to content
  • Hjem
  • Seneste
  • Etiketter
  • Populære
  • Verden
  • Bruger
  • Grupper
Temaer
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Kollaps
FARVEL BIG TECH
rjbs@social.semiotic.systemsR

rjbs@social.semiotic.systems

@rjbs@social.semiotic.systems
About
Indlæg
2
Emner
0
Fremhævelser
0
Grupper
0
Følgere
0
Følger
0

Vis Original

Indlæg

Seneste Bedste Controversial

  • i feel like i've probably asked this before but has anyone written a fancy command line man page viewer to replace `man`?
    rjbs@social.semiotic.systemsR rjbs@social.semiotic.systems

    @aerique @b0rk A tool that consumes roff will (I believe) never be good. (We could change roff but no.) We want a tool that reads something better and can fall back to roff. We can't convert roff-to-gooddoc.

    Texinfo was meant to be that, but (I would say) failed. A subset of HTML could replace it. (And Texinfo can compile to HTML.) You'd then want a tool that know how to find the html for a given command/name.

    It's "easy" except for the xkcd 927 problem. Sorry, this is not constructive.

    Ikke-kategoriseret

  • i feel like i've probably asked this before but has anyone written a fancy command line man page viewer to replace `man`?
    rjbs@social.semiotic.systemsR rjbs@social.semiotic.systems

    @b0rk Ugggggh if you find a good answer, please repost it with a bright red light. I think the biggest issue is that the roff format is too bankrupt, and we need better linking primitives, but… I might just be jaded.

    Ikke-kategoriseret
  • Log ind

  • Har du ikke en konto? Tilmeld

  • Login or register to search.
Powered by NodeBB Contributors
Graciously hosted by data.coop
  • First post
    Last post
0
  • Hjem
  • Seneste
  • Etiketter
  • Populære
  • Verden
  • Bruger
  • Grupper