Un servidor con GNU/Linux, el único que sigue funcionando en el Ayuntamiento de Jerez tras una infección por ransomware