From bc0527e651d5a898c771ef19baa85d5f4480dbfc Mon Sep 17 00:00:00 2001
From: "navid.sassan" <navid.sassan@linuxfabrik.ch>
Date: Sat, 9 Jan 2021 03:19:46 +0100
Subject: [PATCH] added get utility

---
 get | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 get

diff --git a/get b/get
new file mode 100644
index 0000000..11ef52d
--- /dev/null
+++ b/get
@@ -0,0 +1,7 @@
+-- utility to download files from the git repo
+
+local args = { ... }
+local file = args[1]
+
+shell.run("rm", file)
+shell.run("wget", "https://git.navidsassan.ch/navid.sassan/computercraft/-/raw/master/" .. file, file)