From 1ad958fb8c0e2bbcc89754927e52581966e3a1d0 Mon Sep 17 00:00:00 2001
From: Sven Augustin <sven.augustin@psi.ch>
Date: Fri, 11 Apr 2025 10:42:18 +0200
Subject: [PATCH] added a clean-up script that removes all pixi files

---
 autodeploy/clean.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 autodeploy/clean.sh

diff --git a/autodeploy/clean.sh b/autodeploy/clean.sh
new file mode 100755
index 0000000..926e73b
--- /dev/null
+++ b/autodeploy/clean.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+rm pixi-x86_64-unknown-linux-musl.tar.gz
+rm pixi
+
+rm pixi.lock
+rm pixi.toml
+
+rm -rf .pixi
+
+