Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/distro.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'install-deps')
-rwxr-xr-xinstall-deps4
1 files changed, 4 insertions, 0 deletions
diff --git a/install-deps b/install-deps
index ca21630..4dee1ad 100755
--- a/install-deps
+++ b/install-deps
@@ -115,6 +115,10 @@ elif [[ "$(uname)" == 'Linux' ]]; then
export DEBIAN_FRONTEND=noninteractive
distribution="ubuntu"
ubuntu_major_version="${VERSION%%.*}"
+ elif [[ "$DISTRO" = "linuxmint" ]]; then
+ export DEBIAN_FRONTEND=noninteractive
+ distribution="ubuntu"
+ ubuntu_major_version="16"
# Detect elementary OS
elif [[ "$DISTRO" = "elementary" ]]; then
export DEBIAN_FRONTEND=noninteractive