Arduino-tiny on Linux (Elementary OS)

Hello.

I have started using Linux with Elementary OS and I’m trying to figure things out.
I have installed the Arduino UI and it works fine but I work often with the ATtiny microcontrollers with the help of the Arduino-tiny cores. I have no problem using it on Windows but it seems that I just can’t make it work in Linux.

Can someone guide me through it?
Thanks.