A lo mejor, me he quedado corto con lo de portapapeles espectacular para GNOME Shell, y debería haber dicho el mejor gestor de portapapeles, pero no solo para GNOME Shell, sino para cualquier escritorio, o incluso para cualquier sistema operativo. Así lo pienso y así lo digo. Llevo desde la UbuCon 2018 implementando extensiones para GNOME Shell. Sin embargo, siempre he pensado las extensiones como...

Origen