added get utility

2021-01-09 03:19:46 +01:00 · 2021-01-09 03:19:46 +01:00 · bc0527e651
commit bc0527e651
parent cde792cbe7
1 changed files with 7 additions and 0 deletions
--- a/7
+++ b/7
@ -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)