Yup I use it on linux also - the default launcher drives me nuts. Don't get me wrong it's a lot better than it used to be, but min-ed-launcher chews it up and spits it out lol.

https://github.com/BlueMystical/EDHM_UI - Mod your hud colours

https://github.com/rfvgyhn/min-ed-launcher - Nice launcher alternative (faster too)