plasma 5 Potenciando Dolphin mediante los “Menús de Servicios” 7 años hace Muchos de lo que lean estas líneas seguramente piensan que "el escritorio" no morirá jamás, y mucho menos en manos… Tips y Trucos para KDE Plasma 5 7 años hace El día de hoy les traigo una serie de trucos para KDE Plasma 5. No son más que una serie…