pages/*: prefer brand name and add backticks around commands (#10422)
* pages/*: prefer brand name and add backticks around commands --------- Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com>
This commit is contained in:
@@ -19,6 +19,6 @@
|
||||
|
||||
`gdb -ex "{{commands}}" {{executable}}`
|
||||
|
||||
- Start gdb and pass arguments to the executable:
|
||||
- Start `gdb` and pass arguments to the executable:
|
||||
|
||||
`gdb --args {{executable}} {{argument1}} {{argument2}}`
|
||||
|
Reference in New Issue
Block a user