TimJTi commented on issue #11442: URL: https://github.com/apache/nuttx/issues/11442#issuecomment-1870230925
The # issue not copying is some peculiarity of the way the pages are rendered. They copy fine when editing the files and previewing and there is no way of "escaping" that I know of. They are in code blocks. Perhaps someone who knows rst and or the way the NuttX web server renders it can advise. Not sure why I used "custom_hello rather than "main" - I know I tested it all so either something in NuttX has changed, or I edited the names in the text prior to submission and didn't check again. Solution 1) should probably be zapped - not having access to the existing nuttx-apps would, I think, leave NuttX severly lacking in features. Perhaps @j-couch or @acassis could do the PR for these changes. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
