-- utility to download files from the git repo

local function printUsage()
    print("Usage:")
    print("get <filename>")
end
 
local args = { ... }
if #args < 1 then
    printUsage()
    return
end
local file = args[1]

shell.run("rm", file)
shell.run("wget", "https://git.navidsassan.ch/navid.sassan/computercraft/-/raw/master/" .. file, file)