Skip to content

Instantly share code, notes, and snippets.

@pitkling
Created April 28, 2024 09:13
Show Gist options
  • Save pitkling/d7565986eef44d908c2ef36d303348d8 to your computer and use it in GitHub Desktop.
Save pitkling/d7565986eef44d908c2ef36d303348d8 to your computer and use it in GitHub Desktop.
texlab logfile for texlab issue #1061 (Regression? finding project root)
DEBUG - < {"method":"initialize","jsonrpc":"2.0","id":1,"params":{"capabilities":{"textDocument":{"synchronization":{"willSaveWaitUntil":true,"didSave":true,"willSave":true,"dynamicRegistration":false},"callHierarchy":{"dynamicRegistration":false},"codeAction":{"dataSupport":true,"resolveSupport":{"properties":["edit"]},"dynamicRegistration":false,"codeActionLiteralSupport":{"codeActionKind":{"valueSet":["","quickfix","refactor","refactor.extract","refactor.inline","refactor.rewrite","source","source.organizeImports"]}},"isPreferredSupport":true},"publishDiagnostics":{"relatedInformation":true,"tagSupport":{"valueSet":[1,2]}},"rename":{"prepareSupport":true,"dynamicRegistration":false},"implementation":{"linkSupport":true},"typeDefinition":{"linkSupport":true},"documentSymbol":{"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"hierarchicalDocumentSymbolSupport":true,"dynamicRegistration":false},"signatureHelp":{"signatureInformation":{"documentationFormat":["markdown","plaintext"],"activeParameterSupport":true,"parameterInformation":{"labelOffsetSupport":true}},"dynamicRegistration":false},"definition":{"linkSupport":true},"semanticTokens":{"requests":{"full":{"delta":true},"range":false},"tokenTypes":["namespace","type","class","enum","interface","struct","typeParameter","parameter","variable","property","enumMember","event","function","method","macro","keyword","modifier","comment","string","number","regexp","operator","decorator"],"formats":["relative"],"tokenModifiers":["declaration","definition","readonly","static","deprecated","abstract","async","modification","documentation","defaultLibrary"],"dynamicRegistration":false,"overlappingTokenSupport":true,"multilineTokenSupport":false,"serverCancelSupport":false,"augmentsSyntaxTokens":true},"completion":{"completionItem":{"deprecatedSupport":false,"documentationFormat":["markdown","plaintext"],"snippetSupport":false,"commitCharactersSupport":false,"preselectSupport":false},"contextSupport":false,"completionItemKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]},"dynamicRegistration":false},"hover":{"contentFormat":["markdown","plaintext"],"dynamicRegistration":false},"references":{"dynamicRegistration":false},"documentHighlight":{"dynamicRegistration":false},"declaration":{"linkSupport":true}},"window":{"showMessage":{"messageActionItem":{"additionalPropertiesSupport":false}},"showDocument":{"support":true},"workDoneProgress":true},"workspace":{"didChangeWatchedFiles":{"relativePatternSupport":true,"dynamicRegistration":false},"configuration":true,"applyEdit":true,"workspaceEdit":{"resourceOperations":["rename","create","delete"]},"workspaceFolders":true,"symbol":{"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]},"hierarchicalWorkspaceSymbolSupport":true,"dynamicRegistration":false},"semanticTokens":{"refreshSupport":true}}},"trace":"off","initializationOptions":{},"rootPath":"\/Users\/peter","rootUri":"file:\/\/\/Users\/peter","workspaceFolders":[{"name":"\/Users\/peter","uri":"file:\/\/\/Users\/peter"}],"processId":14583,"clientInfo":{"version":"0.9.4","name":"Neovim"}}}
DEBUG - sending message Request(
Request {
id: RequestId(
I32(
1,
),
),
method: "initialize",
params: Object {
"capabilities": Object {
"textDocument": Object {
"callHierarchy": Object {
"dynamicRegistration": Bool(false),
},
"codeAction": Object {
"codeActionLiteralSupport": Object {
"codeActionKind": Object {
"valueSet": Array [
String(""),
String("quickfix"),
String("refactor"),
String("refactor.extract"),
String("refactor.inline"),
String("refactor.rewrite"),
String("source"),
String("source.organizeImports"),
],
},
},
"dataSupport": Bool(true),
"dynamicRegistration": Bool(false),
"isPreferredSupport": Bool(true),
"resolveSupport": Object {
"properties": Array [
String("edit"),
],
},
},
"completion": Object {
"completionItem": Object {
"commitCharactersSupport": Bool(false),
"deprecatedSupport": Bool(false),
"documentationFormat": Array [
String("markdown"),
String("plaintext"),
],
"preselectSupport": Bool(false),
"snippetSupport": Bool(false),
},
"completionItemKind": Object {
"valueSet": Array [
Number(1),
Number(2),
Number(3),
Number(4),
Number(5),
Number(6),
Number(7),
Number(8),
Number(9),
Number(10),
Number(11),
Number(12),
Number(13),
Number(14),
Number(15),
Number(16),
Number(17),
Number(18),
Number(19),
Number(20),
Number(21),
Number(22),
Number(23),
Number(24),
Number(25),
],
},
"contextSupport": Bool(false),
"dynamicRegistration": Bool(false),
},
"declaration": Object {
"linkSupport": Bool(true),
},
"definition": Object {
"linkSupport": Bool(true),
},
"documentHighlight": Object {
"dynamicRegistration": Bool(false),
},
"documentSymbol": Object {
"dynamicRegistration": Bool(false),
"hierarchicalDocumentSymbolSupport": Bool(true),
"symbolKind": Object {
"valueSet": Array [
Number(1),
Number(2),
Number(3),
Number(4),
Number(5),
Number(6),
Number(7),
Number(8),
Number(9),
Number(10),
Number(11),
Number(12),
Number(13),
Number(14),
Number(15),
Number(16),
Number(17),
Number(18),
Number(19),
Number(20),
Number(21),
Number(22),
Number(23),
Number(24),
Number(25),
Number(26),
],
},
},
"hover": Object {
"contentFormat": Array [
String("markdown"),
String("plaintext"),
],
"dynamicRegistration": Bool(false),
},
"implementation": Object {
"linkSupport": Bool(true),
},
"publishDiagnostics": Object {
"relatedInformation": Bool(true),
"tagSupport": Object {
"valueSet": Array [
Number(1),
Number(2),
],
},
},
"references": Object {
"dynamicRegistration": Bool(false),
},
"rename": Object {
"dynamicRegistration": Bool(false),
"prepareSupport": Bool(true),
},
"semanticTokens": Object {
"augmentsSyntaxTokens": Bool(true),
"dynamicRegistration": Bool(false),
"formats": Array [
String("relative"),
],
"multilineTokenSupport": Bool(false),
"overlappingTokenSupport": Bool(true),
"requests": Object {
"full": Object {
"delta": Bool(true),
},
"range": Bool(false),
},
"serverCancelSupport": Bool(false),
"tokenModifiers": Array [
String("declaration"),
String("definition"),
String("readonly"),
String("static"),
String("deprecated"),
String("abstract"),
String("async"),
String("modification"),
String("documentation"),
String("defaultLibrary"),
],
"tokenTypes": Array [
String("namespace"),
String("type"),
String("class"),
String("enum"),
String("interface"),
String("struct"),
String("typeParameter"),
String("parameter"),
String("variable"),
String("property"),
String("enumMember"),
String("event"),
String("function"),
String("method"),
String("macro"),
String("keyword"),
String("modifier"),
String("comment"),
String("string"),
String("number"),
String("regexp"),
String("operator"),
String("decorator"),
],
},
"signatureHelp": Object {
"dynamicRegistration": Bool(false),
"signatureInformation": Object {
"activeParameterSupport": Bool(true),
"documentationFormat": Array [
String("markdown"),
String("plaintext"),
],
"parameterInformation": Object {
"labelOffsetSupport": Bool(true),
},
},
},
"synchronization": Object {
"didSave": Bool(true),
"dynamicRegistration": Bool(false),
"willSave": Bool(true),
"willSaveWaitUntil": Bool(true),
},
"typeDefinition": Object {
"linkSupport": Bool(true),
},
},
"window": Object {
"showDocument": Object {
"support": Bool(true),
},
"showMessage": Object {
"messageActionItem": Object {
"additionalPropertiesSupport": Bool(false),
},
},
"workDoneProgress": Bool(true),
},
"workspace": Object {
"applyEdit": Bool(true),
"configuration": Bool(true),
"didChangeWatchedFiles": Object {
"dynamicRegistration": Bool(false),
"relativePatternSupport": Bool(true),
},
"semanticTokens": Object {
"refreshSupport": Bool(true),
},
"symbol": Object {
"dynamicRegistration": Bool(false),
"hierarchicalWorkspaceSymbolSupport": Bool(true),
"symbolKind": Object {
"valueSet": Array [
Number(1),
Number(2),
Number(3),
Number(4),
Number(5),
Number(6),
Number(7),
Number(8),
Number(9),
Number(10),
Number(11),
Number(12),
Number(13),
Number(14),
Number(15),
Number(16),
Number(17),
Number(18),
Number(19),
Number(20),
Number(21),
Number(22),
Number(23),
Number(24),
Number(25),
Number(26),
],
},
},
"workspaceEdit": Object {
"resourceOperations": Array [
String("rename"),
String("create"),
String("delete"),
],
},
"workspaceFolders": Bool(true),
},
},
"clientInfo": Object {
"name": String("Neovim"),
"version": String("0.9.4"),
},
"initializationOptions": Object {},
"processId": Number(14583),
"rootPath": String("/Users/peter"),
"rootUri": String("file:///Users/peter"),
"trace": String("off"),
"workspaceFolders": Array [
Object {
"name": String("/Users/peter"),
"uri": String("file:///Users/peter"),
},
],
},
},
)
DEBUG - > {"jsonrpc":"2.0","id":1,"result":{"capabilities":{"completionProvider":{"resolveProvider":true,"triggerCharacters":["\\","{","}","@","/"," "]},"definitionProvider":true,"documentFormattingProvider":true,"documentHighlightProvider":true,"documentLinkProvider":{"resolveProvider":false},"documentSymbolProvider":true,"executeCommandProvider":{"commands":["texlab.cleanAuxiliary","texlab.cleanArtifacts","texlab.changeEnvironment","texlab.findEnvironments","texlab.showDependencyGraph","texlab.cancelBuild"]},"foldingRangeProvider":true,"hoverProvider":true,"inlayHintProvider":true,"referencesProvider":true,"renameProvider":{"prepareProvider":true},"textDocumentSync":{"change":2,"openClose":true,"save":{"includeText":false}},"workspaceSymbolProvider":true},"serverInfo":{"name":"TexLab","version":"5.14.1"}}}
DEBUG - < {"method":"initialized","jsonrpc":"2.0","params":{}}
DEBUG - sending message Notification(
Notification {
method: "initialized",
params: Object {},
},
)
DEBUG - < {"method":"workspace\/didChangeConfiguration","jsonrpc":"2.0","params":{"settings":{"texlab":{"diagnosticsDelay":300,"build":{"args":["-pdf","-interaction=nonstopmode","-synctex=1","%f"],"onSave":false,"forwardSearchAfter":false,"executable":"latexmk"},"latexindent":{"modifyLineBreaks":false},"bibtexFormatter":"texlab","formatterLineLength":80,"auxDirectory":".","forwardSearch":{"args":[]},"chktex":{"onOpenAndSave":false,"onEdit":false},"latexFormatter":"latexindent"}}}}
DEBUG - sending message Notification(
Notification {
method: "workspace/didChangeConfiguration",
params: Object {
"settings": Object {
"texlab": Object {
"auxDirectory": String("."),
"bibtexFormatter": String("texlab"),
"build": Object {
"args": Array [
String("-pdf"),
String("-interaction=nonstopmode"),
String("-synctex=1"),
String("%f"),
],
"executable": String("latexmk"),
"forwardSearchAfter": Bool(false),
"onSave": Bool(false),
},
"chktex": Object {
"onEdit": Bool(false),
"onOpenAndSave": Bool(false),
},
"diagnosticsDelay": Number(300),
"formatterLineLength": Number(80),
"forwardSearch": Object {
"args": Array [],
},
"latexFormatter": String("latexindent"),
"latexindent": Object {
"modifyLineBreaks": Bool(false),
},
},
},
},
},
)
DEBUG - < {"method":"workspace\/didChangeConfiguration","jsonrpc":"2.0","params":{"settings":{"texlab":{"diagnosticsDelay":300,"build":{"args":["-pdf","-interaction=nonstopmode","-synctex=1","%f"],"onSave":false,"forwardSearchAfter":false,"executable":"latexmk"},"latexindent":{"modifyLineBreaks":false},"bibtexFormatter":"texlab","formatterLineLength":80,"auxDirectory":".","forwardSearch":{"args":[]},"chktex":{"onOpenAndSave":false,"onEdit":false},"latexFormatter":"latexindent"}}}}
DEBUG - > {"jsonrpc":"2.0","id":1,"method":"workspace/configuration","params":{"items":[{"section":"texlab"}]}}
DEBUG - sending message Notification(
Notification {
method: "workspace/didChangeConfiguration",
params: Object {
"settings": Object {
"texlab": Object {
"auxDirectory": String("."),
"bibtexFormatter": String("texlab"),
"build": Object {
"args": Array [
String("-pdf"),
String("-interaction=nonstopmode"),
String("-synctex=1"),
String("%f"),
],
"executable": String("latexmk"),
"forwardSearchAfter": Bool(false),
"onSave": Bool(false),
},
"chktex": Object {
"onEdit": Bool(false),
"onOpenAndSave": Bool(false),
},
"diagnosticsDelay": Number(300),
"formatterLineLength": Number(80),
"forwardSearch": Object {
"args": Array [],
},
"latexFormatter": String("latexindent"),
"latexindent": Object {
"modifyLineBreaks": Bool(false),
},
},
},
},
},
)
DEBUG - > {"jsonrpc":"2.0","id":2,"method":"workspace/configuration","params":{"items":[{"section":"texlab"}]}}
DEBUG - < {"method":"textDocument\/didOpen","jsonrpc":"2.0","params":{"textDocument":{"text":"\\documentclass{amsart}\n\n\\input{packages}\n\n\\begin{document}\n\\end{document}\n","version":0,"languageId":"tex","uri":"file:\/\/\/Users\/peter\/tmp\/main.tex"}}}
DEBUG - > {"jsonrpc":"2.0","id":3,"method":"workspace/configuration","params":{"items":[{"section":"texlab"}]}}
DEBUG - sending message Notification(
Notification {
method: "textDocument/didOpen",
params: Object {
"textDocument": Object {
"languageId": String("tex"),
"text": String("\\documentclass{amsart}\n\n\\input{packages}\n\n\\begin{document}\n\\end{document}\n"),
"uri": String("file:///Users/peter/tmp/main.tex"),
"version": Number(0),
},
},
},
)
DEBUG - Opening document file:///Users/peter/tmp/main.tex...
DEBUG - Loading document /Users/peter/tmp/texlabroot from disk...
DEBUG - Opening document file:///Users/peter/tmp/texlabroot...
DEBUG - Loading document /Users/peter/tmp/.texlabroot from disk...
DEBUG - Opening document file:///Users/peter/tmp/.texlabroot...
DEBUG - Loading document /Users/peter/tmp/latexmkrc from disk...
DEBUG - Opening document file:///Users/peter/tmp/latexmkrc...
DEBUG - < {"result":[{"diagnosticsDelay":300,"build":{"args":["-pdf","-interaction=nonstopmode","-synctex=1","%f"],"onSave":false,"forwardSearchAfter":false,"executable":"latexmk"},"latexindent":{"modifyLineBreaks":false},"bibtexFormatter":"texlab","formatterLineLength":80,"auxDirectory":".","forwardSearch":{"args":[]},"chktex":{"onOpenAndSave":false,"onEdit":false},"latexFormatter":"latexindent"}],"jsonrpc":"2.0","id":1}
DEBUG - sending message Response(
Response {
id: RequestId(
I32(
1,
),
),
result: Some(
Array [
Object {
"auxDirectory": String("."),
"bibtexFormatter": String("texlab"),
"build": Object {
"args": Array [
String("-pdf"),
String("-interaction=nonstopmode"),
String("-synctex=1"),
String("%f"),
],
"executable": String("latexmk"),
"forwardSearchAfter": Bool(false),
"onSave": Bool(false),
},
"chktex": Object {
"onEdit": Bool(false),
"onOpenAndSave": Bool(false),
},
"diagnosticsDelay": Number(300),
"formatterLineLength": Number(80),
"forwardSearch": Object {
"args": Array [],
},
"latexFormatter": String("latexindent"),
"latexindent": Object {
"modifyLineBreaks": Bool(false),
},
},
],
),
error: None,
},
)
DEBUG - Loading document /Users/peter/tmp/packages.tex from disk...
DEBUG - Opening document file:///Users/peter/tmp/packages.tex...
DEBUG - < {"result":[{"diagnosticsDelay":300,"build":{"args":["-pdf","-interaction=nonstopmode","-synctex=1","%f"],"onSave":false,"forwardSearchAfter":false,"executable":"latexmk"},"latexindent":{"modifyLineBreaks":false},"bibtexFormatter":"texlab","formatterLineLength":80,"auxDirectory":".","forwardSearch":{"args":[]},"chktex":{"onOpenAndSave":false,"onEdit":false},"latexFormatter":"latexindent"}],"jsonrpc":"2.0","id":2}
DEBUG - Opening document file:///Users/peter/tmp/main.tex...
DEBUG - sending message Response(
Response {
id: RequestId(
I32(
2,
),
),
result: Some(
Array [
Object {
"auxDirectory": String("."),
"bibtexFormatter": String("texlab"),
"build": Object {
"args": Array [
String("-pdf"),
String("-interaction=nonstopmode"),
String("-synctex=1"),
String("%f"),
],
"executable": String("latexmk"),
"forwardSearchAfter": Bool(false),
"onSave": Bool(false),
},
"chktex": Object {
"onEdit": Bool(false),
"onOpenAndSave": Bool(false),
},
"diagnosticsDelay": Number(300),
"formatterLineLength": Number(80),
"forwardSearch": Object {
"args": Array [],
},
"latexFormatter": String("latexindent"),
"latexindent": Object {
"modifyLineBreaks": Bool(false),
},
},
],
),
error: None,
},
)
DEBUG - Opening document file:///Users/peter/tmp/packages.tex...
DEBUG - < {"result":[{"diagnosticsDelay":300,"build":{"args":["-pdf","-interaction=nonstopmode","-synctex=1","%f"],"onSave":false,"forwardSearchAfter":false,"executable":"latexmk"},"latexindent":{"modifyLineBreaks":false},"bibtexFormatter":"texlab","formatterLineLength":80,"auxDirectory":".","forwardSearch":{"args":[]},"chktex":{"onOpenAndSave":false,"onEdit":false},"latexFormatter":"latexindent"}],"jsonrpc":"2.0","id":3}
DEBUG - sending message Response(
Response {
id: RequestId(
I32(
3,
),
),
result: Some(
Array [
Object {
"auxDirectory": String("."),
"bibtexFormatter": String("texlab"),
"build": Object {
"args": Array [
String("-pdf"),
String("-interaction=nonstopmode"),
String("-synctex=1"),
String("%f"),
],
"executable": String("latexmk"),
"forwardSearchAfter": Bool(false),
"onSave": Bool(false),
},
"chktex": Object {
"onEdit": Bool(false),
"onOpenAndSave": Bool(false),
},
"diagnosticsDelay": Number(300),
"formatterLineLength": Number(80),
"forwardSearch": Object {
"args": Array [],
},
"latexFormatter": String("latexindent"),
"latexindent": Object {
"modifyLineBreaks": Bool(false),
},
},
],
),
error: None,
},
)
DEBUG - Opening document file:///Users/peter/tmp/main.tex...
DEBUG - Opening document file:///Users/peter/tmp/packages.tex...
DEBUG - Opening document file:///Users/peter/tmp/main.tex...
DEBUG - Opening document file:///Users/peter/tmp/packages.tex...
DEBUG - > {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"diagnostics":[],"uri":"file:///Users/peter/tmp/packages.tex"}}
DEBUG - > {"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"diagnostics":[],"uri":"file:///Users/peter/tmp/main.tex"}}
INFO - Detected distribution: Texlive
DEBUG - Opening document file:///Users/peter/tmp/main.tex...
DEBUG - Opening document file:///Users/peter/tmp/packages.tex...
DEBUG - < {"method":"shutdown","jsonrpc":"2.0","id":2}
DEBUG - sending message Request(
Request {
id: RequestId(
I32(
2,
),
),
method: "shutdown",
params: Null,
},
)
DEBUG - > {"jsonrpc":"2.0","id":2,"result":null}
DEBUG - < {"method":"exit","jsonrpc":"2.0"}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment