Skip to content

Instantly share code, notes, and snippets.

@andyleemitchell
andyleemitchell / settings.json
Created April 6, 2025 15:38
Arduino IDE Settings
{
"window.titleBarStyle": "native",
"editor.fontSize": 14,
"editor.fontFamily": "Fira Code Retina",
// "editor.fontFamily": "IBM Plex Mono",
// "editor.fontWeight": "100",
"workbench.colorTheme": "arduino-theme-dark",
"files.autoSave": "afterDelay",
"editor.quickSuggestions": {
"other": false,
  • Need these in your preamble:
\title{Title of thing}
\newcommand{\thesubtitle}{Subtitle for thing}
\author{Your name}
\newcommand{\thestudentnumber}{your number}
\date{\today}
  • Then inside your begin{document}:
{"name":"desktop-5th-june","settings":"{\"settings\":\"{\\r\\n \\\"python.pythonPath\\\": \\\"C:\\\\\\\\Program Files\\\\\\\\Python38\\\\\\\\python.exe\\\",\\r\\n \\\"latex-workshop.view.pdf.viewer\\\": \\\"tab\\\",\\r\\n \\\"git.autofetch\\\": true,\\r\\n // wrapping settings\\r\\n // \\\"editor.wordWrapColumn\\\": 80,\\r\\n // \\\"editor.wordWrap\\\": \\\"wordWrapColumn\\\",\\r\\n \\\"[tex]\\\": {\\r\\n // \\\"editor.unicodeHighlight.ambiguousCharacters\\\": false,\\r\\n // \\\"editor.unicodeHighlight.invisibleCharacters\\\": false,\\r\\n \\\"editor.wordWrap\\\": \\\"wordWrapColumn\\\",\\r\\n \\\"editor.wordWrapColumn\\\": 80,\\r\\n \\\"editor.wrappingIndent\\\": \\\"none\\\",\\r\\n // \\\"editor.quickSuggestions\\\": {\\r\\n // \\\"comments\\\": \\\"off\\\",\\r\\n // \\\"strings\\\": \\\"off\\\",\\r\\n // \\\"other\\\": \\\"off\\\"\\r\\n // }\\r\\n },\\r\\n \\\"[markdown]\\\": {\\r\\n // \\\"
@andyleemitchell
andyleemitchell / ee399.json
Last active May 11, 2023 18:45
updated: 2023-05-11T19:45:52.158312
{
"carpark": [
{
"id": 1,
"name": "Car Park 1",
"available_spaces": 105
}
],
"date": "2023-05-11T19:45:51.430746"
}