diff options
author | Soumith Chintala <soumith@gmail.com> | 2017-02-11 09:04:23 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-11 09:04:23 +0300 |
commit | b6e54aa62d1ba6e5ca1ed7a0fdc8653177802079 (patch) | |
tree | 34eb50b62b4594fe98c16bc7eef1bc434bdf4c8c | |
parent | 748f5e3c5c804eebf5715c0b47b1519d60ef4409 (diff) | |
parent | 4eb67c55261d902f1abe84d91770c7c8f81d8a34 (diff) |
Merge pull request #204 from JustinNazari/linux-mint-install-deps
Update install-deps to detect Linux Mint
-rwxr-xr-x | install-deps | 4 |
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 |