Thursday, 2023-12-28

ViGedirec85[m]: There's a way to make sfdk show the help pages without the help of man. I just don't remember exactly how right now and I'm not on my development machine so I can't check. My first instinct would be to just remove the man page, i.e. sfdk.1.gz.06:00
direc85[m]@ViGe I made a man wrapper script which removes the first argument if it is `--local-file` and calls /ust/bin/man sit08:35
direc85[m]*with the remaining arguments. A bit hacky, but worked fine.08:35
rubdos[m]Rust 1.75 is out.  I'll rebase the patches tomorrow and make a draft pr.19:50

Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!