From 61303835f7a2f33acd4b39156628dcfda2d07786 Mon Sep 17 00:00:00 2001 From: "navid.sassan" Date: Sat, 9 Jan 2021 03:33:06 +0100 Subject: [PATCH] improved get --- get | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/get b/get index 11ef52d..e853ea3 100644 --- a/get +++ b/get @@ -1,6 +1,15 @@ -- utility to download files from the git repo +local function printUsage() + print("Usage:") + print("get ") +end + local args = { ... } +if #args < 1 then + printUsage() + return +end local file = args[1] shell.run("rm", file)