Understanding Debian versus LinuxMint, finding version numbers
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
As I understand it LinuxMint is built on top of Debian. Mint seems not to give me the most up-to-date version of the Haskell compiler GHC, but to download the binaries for the most recent stable version I need to know my Debian version. I looked around for how to find it but all I get are results like
$ cat /etc/*-release
DISTRIB_ID=LinuxMint
DISTRIB_RELEASE=18.3
DISTRIB_CODENAME=sylvia
DISTRIB_DESCRIPTION="Linux Mint 18.3 Sylvia"
NAME="Linux Mint"
VERSION="18.3 (Sylvia)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 18.3"
VERSION_ID="18.3"
HOME_URL="http://www.linuxmint.com/"
SUPPORT_URL="http://forums.linuxmint.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/linuxmint/"
VERSION_CODENAME=sylvia
UBUNTU_CODENAME=xenial
cat: /etc/upstream-release: Is a directory
and
$ cat /proc/version
Linux version 4.15.0-38-generic (buildd@lcy01-amd64-023) (gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.10)) #41~16.04.1-Ubuntu SMP Wed Oct 10 20:16:04 UTC 2018
Is every LinuxMint version associated with a Debian version, or do I need to do something else to figure out the Debian version?
debian linux-mint version
asked 6 mins ago
Addem
11116
add a comment |Â
up vote
0
down vote
favorite
As I understand it LinuxMint is built on top of Debian. Mint seems not to give me the most up-to-date version of the Haskell compiler GHC, but to download the binaries for the most recent stable version I need to know my Debian version. I looked around for how to find it but all I get are results like
$ cat /etc/*-release
DISTRIB_ID=LinuxMint
DISTRIB_RELEASE=18.3
DISTRIB_CODENAME=sylvia
DISTRIB_DESCRIPTION="Linux Mint 18.3 Sylvia"
NAME="Linux Mint"
VERSION="18.3 (Sylvia)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 18.3"
VERSION_ID="18.3"
HOME_URL="http://www.linuxmint.com/"
SUPPORT_URL="http://forums.linuxmint.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/linuxmint/"
VERSION_CODENAME=sylvia
UBUNTU_CODENAME=xenial
cat: /etc/upstream-release: Is a directory
and
$ cat /proc/version
Linux version 4.15.0-38-generic (buildd@lcy01-amd64-023) (gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.10)) #41~16.04.1-Ubuntu SMP Wed Oct 10 20:16:04 UTC 2018
Is every LinuxMint version associated with a Debian version, or do I need to do something else to figure out the Debian version?
debian linux-mint version
asked 6 mins ago
Addem
11116
I don't know anything about this, butUBUNTU_CODENAME=xeniallooks pretty informative here.
– Michael Homer
1 min ago
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
As I understand it LinuxMint is built on top of Debian. Mint seems not to give me the most up-to-date version of the Haskell compiler GHC, but to download the binaries for the most recent stable version I need to know my Debian version. I looked around for how to find it but all I get are results like
$ cat /etc/*-release
DISTRIB_ID=LinuxMint
DISTRIB_RELEASE=18.3
DISTRIB_CODENAME=sylvia
DISTRIB_DESCRIPTION="Linux Mint 18.3 Sylvia"
NAME="Linux Mint"
VERSION="18.3 (Sylvia)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 18.3"
VERSION_ID="18.3"
HOME_URL="http://www.linuxmint.com/"
SUPPORT_URL="http://forums.linuxmint.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/linuxmint/"
VERSION_CODENAME=sylvia
UBUNTU_CODENAME=xenial
cat: /etc/upstream-release: Is a directory
and
$ cat /proc/version
Linux version 4.15.0-38-generic (buildd@lcy01-amd64-023) (gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.10)) #41~16.04.1-Ubuntu SMP Wed Oct 10 20:16:04 UTC 2018
Is every LinuxMint version associated with a Debian version, or do I need to do something else to figure out the Debian version?
debian linux-mint version
asked 6 mins ago
Addem
11116
As I understand it LinuxMint is built on top of Debian. Mint seems not to give me the most up-to-date version of the Haskell compiler GHC, but to download the binaries for the most recent stable version I need to know my Debian version. I looked around for how to find it but all I get are results like
$ cat /etc/*-release
DISTRIB_ID=LinuxMint
DISTRIB_RELEASE=18.3
DISTRIB_CODENAME=sylvia
DISTRIB_DESCRIPTION="Linux Mint 18.3 Sylvia"
NAME="Linux Mint"
VERSION="18.3 (Sylvia)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 18.3"
VERSION_ID="18.3"
HOME_URL="http://www.linuxmint.com/"
SUPPORT_URL="http://forums.linuxmint.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/linuxmint/"
VERSION_CODENAME=sylvia
UBUNTU_CODENAME=xenial
cat: /etc/upstream-release: Is a directory
and
$ cat /proc/version
Linux version 4.15.0-38-generic (buildd@lcy01-amd64-023) (gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.10)) #41~16.04.1-Ubuntu SMP Wed Oct 10 20:16:04 UTC 2018
Is every LinuxMint version associated with a Debian version, or do I need to do something else to figure out the Debian version?
debian linux-mint version
debian linux-mint version
asked 6 mins ago
Addem
11116
asked 6 mins ago
Addem
11116
asked 6 mins ago
Addem
11116
asked 6 mins ago
Addem
11116
asked 6 mins ago
Addem
11116
11116
I don't know anything about this, butUBUNTU_CODENAME=xeniallooks pretty informative here.
– Michael Homer
1 min ago
add a comment |Â
I don't know anything about this, butUBUNTU_CODENAME=xeniallooks pretty informative here.
– Michael Homer
1 min ago
I don't know anything about this, but
UBUNTU_CODENAME=xenial looks pretty informative here.– Michael Homer
1 min ago
I don't know anything about this, but
UBUNTU_CODENAME=xenial looks pretty informative here.– Michael Homer
1 min ago
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f480209%2funderstanding-debian-versus-linuxmint-finding-version-numbers%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
I don't know anything about this, but
UBUNTU_CODENAME=xeniallooks pretty informative here.– Michael Homer
1 min ago