From 9b1514320a7e7243fa79da35337fc24fb33b8174 Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sun, 23 Jun 2019 14:16:47 +0200 Subject: [PATCH] remove unzip --- os/os.v | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/os/os.v b/os/os.v index fe8156e9ba..f360ad944a 100644 --- a/os/os.v +++ b/os/os.v @@ -367,23 +367,6 @@ fn rmdir(path string, guard string) { } */ -pub fn unzip(path, out string) { - $if windows { - // TODO native string - // TODO handle older Windows - // The only way to unzip a file without installing dependencies is to use PowerShell + .NET - # char *s="powershell.exe -nologo -noprofile -command \"& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('PATH', 'OUT'); }\" "; - mut cmd := '' - # cmd = tos(s, strlen(s)); - cmd = cmd.replace('PATH', path) - cmd = cmd.replace('OUT', out) - os.system(cmd) - } - $else { - os.system('unzip -o -d "$out" "$path"') - } -} - fn print_c_errno() { # printf("errno=%d err='%s'\n", errno, strerror(errno)); }