From c3ed3ceec991fb24213d5ef6803fdba11959d231 Mon Sep 17 00:00:00 2001
From: RealStickman <mrc@frm01.net>
Date: Sat, 26 Jun 2021 14:12:29 +0200
Subject: [PATCH] Add script to clear arduino ide sketch cache

---
 arch-config/scripts/in_path/sc-arduino-clear | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 arch-config/scripts/in_path/sc-arduino-clear

diff --git a/arch-config/scripts/in_path/sc-arduino-clear b/arch-config/scripts/in_path/sc-arduino-clear
new file mode 100644
index 00000000..fb51c5fa
--- /dev/null
+++ b/arch-config/scripts/in_path/sc-arduino-clear
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+rm -r /tmp/arduino-sketch-*