Skip to content

Instantly share code, notes, and snippets.

@ohri-anurag
Last active October 2, 2023 09:38
Show Gist options
  • Save ohri-anurag/b6cd5a3b52f78510920028f05a337572 to your computer and use it in GitHub Desktop.
Save ohri-anurag/b6cd5a3b52f78510920028f05a337572 to your computer and use it in GitHub Desktop.
VSCode settings.json
{
"workbench.iconTheme": "material-icon-theme",
"workbench.editor.enablePreview": false,
"editor.fontFamily": "hasklig",
"editor.fontSize": 16,
"git.confirmSync": false,
"editor.renderWhitespace": "all",
"editor.fontLigatures": "'ccmp' off",
"[json]": {
"editor.defaultFormatter": "vscode.json-language-features"
},
"workbench.colorTheme": "Horizon",
"workbench.colorCustomizations": {
"editorIndentGuide.activeBackground1": "#278185",
"editorIndentGuide.background1": "#ffffff58",
"editorWarning.foreground": "#aaaa00"
},
"editor.tokenColorCustomizations": {
"textMateRules": [
{
"scope": [
// Haskell operators
"keyword.operator.infix.haskell",
"constant.other.operator.infix.haskell",
"keyword.operator.eq.haskell",
"keyword.operator.infix.tight.at.haskell",
"keyword.operator.prefix.at.haskell",
"keyword.operator.function.infix.haskell",
// Elm Operators
"keyword.operator.elm"
],
"settings": {
"foreground": "#d35757"
}
},
{
"scope": [
// Haskell punctuation
"keyword.operator.arrow.left.haskell",
"punctuation.separator.comma.haskell",
"punctuation.comma.haskell",
// Elm punctuation
"punctuation.separator.comma.elm"
],
"settings": {
"foreground": "#57aed3"
}
},
{
"scope": [
// Haskell operators
"keyword.operator.arrow.haskell",
"keyword.operator.big-arrow.haskell",
"keyword.operator.double-colon.haskell",
"keyword.operator.lambda.haskell",
"keyword.operator.prefix.dollar.haskell",
"keyword.operator.prefix.hash.haskell",
// Elm operators
"keyword.operator.arrow.elm",
"keyword.other.colon.elm"
],
"settings": {
"foreground": "#38d893"
}
},
{
"scope": "keyword.operator.pipe.haskell",
"settings": {
"foreground": "#935be7"
}
},
{
"scope": "meta.preprocessor.haskell",
"settings": {
"foreground": "#bfac21"
}
},
{
"scope": [
"keyword.operator.quasi-quotation.begin.haskell",
"keyword.operator.quasi-quotation.end.haskell"
],
"settings": {
"foreground": "#c5cb5b",
"fontStyle": "bold"
}
},
{
"scope": [
"comment.line.documentation.haskell",
"comment.block.documentation.haskell",
"punctuation.definition.comment.haskell",
"comment.line.double-dash.haskell",
"comment.block.haskell"
],
"settings": {
"foreground": "#ffffff58"
}
},
{
"scope": [
// Haskell keywords
"keyword.other.deriving.haskell",
"keyword.other.module.haskell",
"keyword.other.newtype.haskell",
"keyword.other.data.haskell",
"keyword.other.import.haskell",
"keyword.other.class.haskell",
"keyword.other.instance.haskell",
"keyword.other.where.haskell",
"keyword.other.let.haskell",
"keyword.other.in.haskell",
"keyword.control.case.haskell",
"keyword.control.of.haskell",
"keyword.control.if.haskell",
"keyword.other.type.haskell",
"keyword.other.qualified.haskell",
"keyword.other.as.haskell",
"keyword.other.hiding.haskell",
// Elm keywords
"keyword.control.import.elm",
"keyword.control.elm",
"keyword.other.elm"
],
"settings": {
"foreground": "#6a98e1"
}
},
{
"scope": [
"keyword.other.deriving.strategy.stock.haskell",
"keyword.other.deriving.strategy.newtype.haskell",
"keyword.other.deriving.strategy.anyclass.haskell"
],
"settings": {
"foreground": "#6a98e1",
"fontStyle": "underline"
}
}
]
},
"ctagsymbols.regenerateCommand": "rm tags & hasktags -c -L .",
"diffEditor.ignoreTrimWhitespace": false,
"todohighlight.keywords": [
{
"text": "TODO:",
"color": "#d35757",
"border": "1px solid #d35757",
"borderRadius": "4px",
"backgroundColor": "transparent"
//other styling properties goes here ...
},
{
"text": "NOTE:",
"color": "#00bbbb",
"border": "1px solid #00bbbb",
"borderRadius": "4px",
"backgroundColor": "transparent"
//other styling properties goes here ...
}
],
"window.titleBarStyle": "custom",
"haskell.manageHLS": "PATH",
"editor.minimap.showSlider": "always",
"window.zoomLevel": 1,
"editor.guides.bracketPairs": true,
"terminal.integrated.defaultProfile.linux": "bash",
"terminal.integrated.shellIntegration.enabled": false,
"git.openRepositoryInParentFolders": "never",
"editor.codeLens": false,
"editor.detectIndentation": false,
"editor.tabSize": 2,
"[elm]": {
"editor.tabSize": 4
},
"editor.formatOnSave": true,
"redhat.telemetry.enabled": false,
}
@ohri-anurag
Copy link
Author

ohri-anurag commented Mar 17, 2022

Extensions installed:

  1. cabal-fmt
  2. Ctags Symbol Search
  3. Dhall language support
  4. Dhall lsp server
  5. direnv
  6. Edit csv
  7. Elm
  8. Expand selection to scope
  9. File Utils
  10. Git graph
  11. Github Copilot
  12. Github Copilot chat
  13. Haskell spotlight
  14. Haskell Syntax Highlighting
  15. haskell-linter
  16. Horizon Theme
  17. Markdown preview Github styling
  18. Material Icon theme
  19. Nix IDE
  20. Rainbow Csv
  21. Ruby Sorbet
  22. Run on save
  23. Test adapter converter
  24. Test explorer UI
  25. TODO Highlight
  26. VSCode Ruby
  27. Yaml
  28. Haskell

@ohri-anurag
Copy link
Author

ohri-anurag commented May 27, 2022

Additional Tools (to work along with the packages above):

  1. hasktags

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment