From 44f6955bb65579613d26647718d20b84872dac1a Mon Sep 17 00:00:00 2001
From: Wouter Deconinck <wdconinc@gmail.com>
Date: Thu, 1 Dec 2022 17:02:04 +0000
Subject: [PATCH] Restore install.sh

---
 install.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 install.sh

diff --git a/install.sh b/install.sh
new file mode 100644
index 000000000..4d8098f21
--- /dev/null
+++ b/install.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+# Pass the buck
+curl -L https://github.com/eic/eic-shell/raw/main/install.sh | exec bash -s -- $*
-- 
GitLab