Difference between revisions of "VSCode & PlatformIO"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{{!}} class="wikitable" style="float: right; width: 322px;" border="2" | |||
{{!}}+ Proven on: | |||
{{!}}- <!-- LMDE --> | |||
{{!}} style="text-align: center; width: 65.675px;" {{!}} [[File:Logo LMDE.png{{!}}60px{{!}}link=https://linuxmint.com/edition.php?id=279{{!}}center{{!}}middle{{!}}frameless]] | |||
{{!}} 4, 5 | |||
{{!}} | |||
<br> | |||
{{!}}} | |||
= Getting Started = | = Getting Started = | ||
You can install VSCode directly from the Software Manager... If you don't have an aversion to flatpack. Or... | You can install VSCode directly from the Software Manager... If you don't have an aversion to flatpack. Or... | ||
| Line 21: | Line 31: | ||
#Install PlatformIO IDE. | #Install PlatformIO IDE. | ||
[[File:Platformio-ide-vscode-pkg-installer.png{{!}}alt={{!}}frameless{{!}}The icon is wrong... But you get the idea.]] | [[File:Platformio-ide-vscode-pkg-installer.png{{!}}alt={{!}}frameless{{!}}The icon is wrong... But you get the idea.]] | ||
=Using GitHub= | |||
Make sure you actually have git installed... :P | |||
*<code>sudo apt install git</code> | |||
You'll need to set your user name & email for git... | |||
Open a terminal and do: | |||
*<code>git config --global user.name YOURUSERNAME</code> | |||
*<code>git config --global user.email YOUR@EMAIL.ADDRRESS</code> | |||
Revision as of 15:10, 6 May 2023
 |
4, 5 |
|
Getting Started
You can install VSCode directly from the Software Manager... If you don't have an aversion to flatpack. Or...
Download VSCode
wget https://go.microsoft.com/fwlink/?LinkID=760868mv index.html\?LinkID\=760868 vsc.deb
Install VSCode
sudo apt install ./vsc.deb
Install PlatformIO
Gonna fail hard if you don't first improve the python install...
sudo apt-get install python3-distutils
- Open VSCode Package Manager
- Search for the official platformio ide extension
- Install PlatformIO IDE.
Using GitHub
Make sure you actually have git installed... :P
sudo apt install git
You'll need to set your user name & email for git...
Open a terminal and do:
git config --global user.name YOURUSERNAMEgit config --global user.email YOUR@EMAIL.ADDRRESS