Ok, thanks to both of you... I will try it.

Another question: Should I open electrum first and from the menu open some terminal to execute these commands? or do I have to open the regular Linux terminal?