-- 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)