[tor-bugs] #14103 [Ooni]: Linux Mint not supported by https://ooni.torproject.org/install.sh

[Tor Bug Tracker & Wiki]

#14103: Linux Mint not supported by https://ooni.torproject.org/install.sh
--------------------------------+-------------------------------------
     Reporter:  JustAnotherOne  |      Owner:  anadahz
         Type:  enhancement     |     Status:  accepted
     Priority:  normal          |  Milestone:
    Component:  Ooni            |    Version:
   Resolution:                  |   Keywords:  Mint supported Distries
Actual Points:                  |  Parent ID:
       Points:                  |
--------------------------------+-------------------------------------

Comment (by JustAnotherOne):

 A "wget https://ooni.torproject.org/install.sh still fails".
 Also running " sudo ./setup-dependencies.sh -p" on the changed file fails
 with:

 It appears that you are using an unsupported OS - please tell us
 by filing a bug: https://trac.torproject.org/projects/tor/newticket

 $lsb_release -is
 LinuxMint

 $cat /etc/os-release
 NAME="Ubuntu"
 VERSION="14.04.1 LTS, Trusty Tahr"
 ID=ubuntu
 ID_LIKE=debian
 PRETTY_NAME="Ubuntu 14.04.1 LTS"
 VERSION_ID="14.04"
 HOME_URL="http://www.ubuntu.com/"
 SUPPORT_URL="http://help.ubuntu.com/"
 BUG_REPORT_URL="http://bugs.launchpad.net/ubuntu/"

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/14103#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online