12:57 <rao> sorry for the late reply, was busy and not doing so well lately

12:57 <rao> I thought of the permissions thing and ran it as root with the same result

12:58 <rao> Log: https://privatebin.net/?155baaed60eb772c#4LkfuiaNrmbYYpfXTzF2BaoQQGWdU6PDYS1qS1iEMxGp

13:20 <PaulFertser> rao: welcome back

13:20 <PaulFertser> rao: so what's in openocd.cfg then?

13:21 <PaulFertser> I'd bet it's stlink config sourced but you said you had jlink so no wonder open fails.

13:48 <rao> yes, it is

13:48 <rao> source [find interface/stlink.cfg]

13:48 <rao> but I didn't see any documentation on what I need to set for the jlink

15:22 <PaulFertser> rao: jlink.cfg

15:22 <PaulFertser> rao: and the OpenOCD User Manual talks enough about the configuration options I think, have you read it?

15:46 <rao> we did read a little bit of it, but got overwhelmed by how big it is and one page which mentioned jlink didn't show us that

15:46 <rao> and rn we get a 403 https://openocd.org/doc-release/html/index.html

15:49 <rao> thanks, with that it connects

16:10 <PaulFertser> rao: when you install OpenOCD the manual is installed with it, you do not need any servers or Internet access.

16:10 <PaulFertser> That 403 error is new, I will check, thank you for report.

16:15 <rao> the man page of openocd is very short...

16:15 <rao> nothing about any of this

16:15 <PaulFertser> Yes, because all the documentation is in the info page.

16:16 <PaulFertser> And the man page is explicit about .

16:19 <rao> yay, another method of delivering manuals /s <standards xkcd>

16:19 <rao> anyway, thanks for your help

16:19 <rao> I'll fix up my board and then try to program it

16:41 <PaulFertser> rao: Texinfo was released in 1986. And it's been the standard documentation format for GNU for the whole time.

17:55 <PaulFertser> Hm, sf broke something, even openocd.org doesn't work properly now.

18:07 <PaulFertser> Yeah, I changed nothing but now it works.

18:08 <PaulFertser> But not fully fixed.

22:06 <karlp> PaulFertser: I keep tellin gyou no-one gives a shit if info is "standard"

22:07 <PaulFertser> karlp: well, that's how GCC, Binutils and many other essential software documentation is maintained.

22:09 <PaulFertser> Also thanks to Texinfo someone released a real book with ISBN from OpenOCD User Manual, the generated PDF looks really OK.

22:11 <PaulFertser> I personally find it nice to have cross-references, hyper-references, automatic generation of HTML and PDF etc all from a reasonably readable source. The *roff source of manpages feels much harder to use.

22:12 <PaulFertser> I do not see any practical reason to be unhappy with Texinfo.

22:29 <karlp> I'd be happier honestly, I'd be happier if I could have the man page show me a file:///usr/share/blah/index.html link that I could click on and have it open the matching version from my local drive in a browser.

22:30 <karlp> links and things all work there

22:30 <karlp> info the browser is, no matter how much gnu people like to believe ortherwise, unused, unknown, unloved, and unmissed.

22:31 <PaulFertser> Many people love and use KDE, right? Doesn't KDE help system support navigating Info manuals?

22:32 <PaulFertser> Your distro maintainer is free to generate a set of HTML pages from Texinfo and package to /usr/share/ and add a note to the man page why not.