From 58117f1312c2fd7bc79172871899e8cb917a7dc6 Mon Sep 17 00:00:00 2001 From: S-YOU Date: Mon, 5 Aug 2019 00:00:00 +0900 Subject: [PATCH] vget: clone with depth 1 and use module name instead of repository name --- tools/vget.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/vget.v b/tools/vget.v index 742f6b35b6..c7a08ff5ab 100644 --- a/tools/vget.v +++ b/tools/vget.v @@ -27,7 +27,7 @@ fn main() { s := http.get_text(url + '/jsmod/$name') mod := json.decode(Mod, s) or { return } home := os.home_dir() - os.exec('git -C "$home/.vmodules" clone $mod.url') + os.exec('git -C "$home/.vmodules" clone --depth=1 $mod.url $mod.name') println(s) }