we haven't tested MPS on linux other than Ubuntu. Some distributions clearly have problems, so if you try the the MPS linux installation on redhead linux, please let us know, how it worked.
I'm using MPS on Linux Mint, moreover MPS is a java application indeed it should work on any Linux distribution.
I suggest to you to do not rely on the JVM your distribution install, mainly due to LibreOffice dependencies, but download and install (unzip) last version of Java 8 SDK.
There is a small bug on Linux that however does not prevent MPS to start: the mps.sh script has this line
UNAME=`which uname`
that you should edit in:
UNAME=`uname`
I have highlight this issue here on the forum and a bug was opened some months ago.
Hi Palpandi,
we haven't tested MPS on linux other than Ubuntu. Some distributions clearly have problems, so if you try the the MPS linux installation on redhead linux, please let us know, how it worked.
Vaclav
I'm using MPS on Linux Mint, moreover MPS is a java application indeed it should work on any Linux distribution.
I suggest to you to do not rely on the JVM your distribution install, mainly due to LibreOffice dependencies, but download and install (unzip) last version of Java 8 SDK.
There is a small bug on Linux that however does not prevent MPS to start: the mps.sh script has this line
UNAME=`which uname`
that you should edit in:
UNAME=`uname`
I have highlight this issue here on the forum and a bug was opened some months ago.
Bye,
Mar
I've found it
https://youtrack.jetbrains.com/issue/MPS-23195