From dff626f5b8b4d90ca5917cb28c7c061ee4275fc8 Mon Sep 17 00:00:00 2001
From: Nicolas KAROLAK <nicolas@karolak.fr>
Date: Wed, 16 Oct 2019 14:48:06 +0000
Subject: [PATCH] use apt-get instead of apt
---
pkgs_envsetup.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pkgs_envsetup.py b/pkgs_envsetup.py
index b7326cbd..4eef2a24 100755
--- a/pkgs_envsetup.py
+++ b/pkgs_envsetup.py
@@ -28,7 +28,7 @@ def main():
!= 0
):
result = run(
- ["/usr/bin/apt", "install", "-y", pkg],
+ ["/usr/bin/apt-get", "install", "-y", pkg],
shell=False,
stdout=PIPE,
stderr=STDOUT,
--
GitLab