Skip to content

Commit

Permalink
Merge pull request #381 from emilienlemaire/debugger-type
Browse files Browse the repository at this point in the history
  • Loading branch information
emilienlemaire authored Dec 16, 2024
2 parents 4249374 + 5254234 commit 857dc31
Show file tree
Hide file tree
Showing 4 changed files with 12 additions and 9 deletions.
3 changes: 3 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,9 @@

## [_] Next release

### Fixed
- Name of debugger, to avoid conflicts with the official "gdb" [#381](https://github.com/OCamlPro/superbol-studio-oss/pull/381)


## [0.1.4] Fifth α release (2024-10-25)

Expand Down
2 changes: 1 addition & 1 deletion import/superbol-vscode-debug
8 changes: 4 additions & 4 deletions package.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 4 additions & 4 deletions src/lsp/superbol_free_lib/vscode_extension.ml
Original file line number Diff line number Diff line change
Expand Up @@ -125,7 +125,7 @@ let contributes =
~path: "./syntaxes/dumpfile.tmLanguage.json"
]
~debuggers: [
Manifest.debugger "gdb"
Manifest.debugger "superbol-gdb"
~label: "SuperBOL Debugger for GnuCOBOL"
~languages: ["cobol"; "COBOL"]
~program: "./_dist/superbol-vscode-gdb.js"
Expand Down Expand Up @@ -262,7 +262,7 @@ let contributes =
"description": "New SuperBOL launch request",
"body": {
"name": "${2:SuperBOL: debug (launch)}",
"type": "gdb",
"type": "superbol-gdb",
"request": "launch",
"preLaunchTask": "SuperBOL: build (debug)",
"target": "$${_:{file}}",
Expand All @@ -279,7 +279,7 @@ let contributes =
"description": "Attach to a local debug session",
"body": {
"name": "${2:SuperBOL: debug (attach local)}",
"type": "gdb",
"type": "superbol-gdb",
"request": "attach",
"pid": "${3:0}",
"target": "$${_:{file}}",
Expand All @@ -294,7 +294,7 @@ let contributes =
"description": "Attach to a remote debug session",
"body": {
"name": "${2:SuperBOL: debug (attach remote)}",
"type": "gdb",
"type": "superbol-gdb",
"request": "attach",
"remote-debugger": "${3:host:port}",
"target": "$${_:{file}}",
Expand Down

0 comments on commit 857dc31

Please sign in to comment.