From 4886cccda5aa1044a17fb07961aba47e0bc8fff8 Mon Sep 17 00:00:00 2001
From: Daniele Moser <dnlmsr0@gmail.com>
Date: Wed, 8 Jun 2022 15:24:25 +0200
Subject: [PATCH] Add platformio support (#88)

---
 programs/platformio.json | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 programs/platformio.json

diff --git a/programs/platformio.json b/programs/platformio.json
new file mode 100644
index 0000000..d4a1fb1
--- /dev/null
+++ b/programs/platformio.json
@@ -0,0 +1,10 @@
+{
+    "files": [
+        {
+            "path": "$HOME/.platformio",
+            "movable": true,
+            "help": "Export the following environment variables:\n\n```bash\nexport PLATFORMIO_CORE_DIR=\"$XDG_DATA_HOME\"/platformio\n```\n"
+        }
+    ],
+    "name": "platformio"
+}
-- 
2.47.3