Gitlab prohíbe el uso de Windows debido a los costos de licencias… ¿Podría Linux ser la solución?

Vaya que Gitlab ha dado de que hablar durante los últimos días y tal parece que el encontrar la forma en como reducir costos no solo ha tratado de modificar algunos aspectos en las cuentas de los usuarios, pues hace poco tenía en mente el eliminar repositorios con más de un año de inactividad, decisión que causo que la comunidad se dividiera.

Pero esto no es para preocuparse, pues a los pocos días GitLab se retractó de su apuesta y decidió tratar de reducir costos de otra forma más inteligente.

Y ahora, otro movimiento por parte de Gitlab ha sorprendido a muchos, pues antes de pandemia la plataforma ya tenía implementado el trabajo remoto entre varios de sus empleados, a lo cual ya con más de dos años trabajado de esta forma se ha visto reflejado en sus bolsillos.

Ya que la disposición en relación con la gestión de las computadoras del equipo de TI que despierta la decisión de GitLab de prohibir el uso de Windows para estos últimos.

La empresa cita varias razones, incluido el costo de las licencias y el aspecto de seguridad. Dado que Gitlab es una plataforma basada en la web, las contradicciones se relacionan con las posibilidades de prueba disponibles para los miembros del equipo de TI en varios navegadores, incluido Microsoft Edge.

“Debido al dominio de Windows en los sistemas operativos de escritorio, Windows es la plataforma más atacada por spyware, virus y ransomware. macOS viene preinstalado en las computadoras Apple y Linux está disponible de forma gratuita.

Para aprobar el uso de Windows, GitLab debe comprar licencias de Windows Professional, ya que Windows Home Edition no cumple con las pautas de seguridad de GitLab. Dado que muchas compras de computadoras portátiles fueron realizadas por empleados que luego fueron reembolsados ​​por GitLab, un empleado remoto generalmente compra una computadora portátil preinstalada con Windows Home Edition. Windows Home Edition es notoriamente difícil de proteger”,

La maniobra tiene sentido para algunos que creen que permite a los miembros del equipo de TI de Gitlab centrarse en su trabajo en lugar del aspecto de seguridad. Otros son más de la opinión de que Gitlab también podría haber optado por la provisión (de miembros de su equipo de TI) de computadoras más adecuadas para uso corporativo.

Nuestro único proveedor de computadoras portátiles con Linux aprobado en este momento es Dell . Estas computadoras portátiles generalmente vienen precargadas con Ubuntu Linux para ahorrar dinero en licencias de Windows no utilizadas. Dell actualmente no vende computadoras portátiles con Linux preinstalado en Australia y Nueva Zelanda; el personal deberá instalar Linux ellos mismos.

Los desarrollos actuales también mencionan la posibilidad de que los miembros del equipo de TI de Gitlab utilicen una máquina virtual de Windows dentro de un host de Linux.

De hecho, la decisión de Gitlab no es nada nuevo. Google debe haberse abierto a macOS y Linux de la misma manera en el pasado. La decisión siguió después del hackeo de las instalaciones de Google China (basadas en PC con Windows) en 2010.

«Abandonamos las PC con Windows en favor del sistema operativo macOS luego de los ataques de piratas informáticos en China», dijo un gerente que agregó que «los empleados tienen la opción de usar ordenadores con Linux como sistema operativo.

Por la parte de los navegadores web cabe mencionar que tambien hay diferentes puntos de vista sobre los existentes, pero básicamente son Chrome, navegadores basados en Chromium (chrome) y Firefox. La cuestión de tocar el tema de los navegadores es que en Chrome, por ejemplo, no se muestra los elementos del menú de manera idéntica en diferentes sistemas operativos. Además, algunas reglas de estilo de selección se interpretan de manera diferente según la plataforma en la que se ejecuta el navegador.

Por último cabe mencionar que GitLab aprueba el uso de Mac o Linux entre los empleados de sus filas, ademas de que de momento menciona que solo Dell es el único proveedor aprobado para poder adquirir equipos con Linux preinstalado.

Finalmente si estás interesado en poder conocer más al respecto sobre la nota, puedes consultar los detalles en el siguiente enlace.

from Linux Adictos https://ift.tt/V9ycCWO
via IFTTT

En Linux 5.20/6.0 propone un mecanismo para verificar la corrección del kernel

Linux Kernel

Hace poco se dio a conocer la noticia que se ha realizado una propuesta para ser incluido en el kernel de Linux 5.20 (o quizás la rama se numerará 6.0, todo depende de la decisión de Linus torvalds debido a su comentario que realizo en el lanzamiento del Kernel 5.19).

La propuesta realizada es sobre un conjunto de parches con la implementación del mecanismo RV (Runtime Verification), que es un medio para verificar el correcto funcionamiento en sistemas altamente confiables que garantizan la ausencia de fallos.

La validación se realiza en tiempo de ejecución al adjuntar controladores a puntos de rastreo que verifican el progreso real de la ejecución contra un modelo determinista de referencia predefinido del autómata que determina el comportamiento esperado del sistema.

El desarrollador de Linux, Daniel Bristot de Oliveira menciona:

Durante los últimos años, he estado explorando la posibilidad de verificar el comportamiento del kernel de Linux usando Runtime Verification.

Runtime Verification (RV) es un método ligero (pero riguroso) que complementa las técnicas clásicas de verificación exhaustiva (como la comprobación de modelos y la demostración de teoremas) con un enfoque más práctico para sistemas complejos. En lugar de depender de un modelo detallado de un sistema (por ejemplo, una reimplementación de un nivel de instrucción), RV funciona analizando el rastro de la ejecución real del sistema, comparándolo con una especificación formal del comportamiento del sistema.

El uso de autómatas deterministas para RV es un enfoque bien establecido. En el caso específico del kernel de Linux, puede consultar cómo modelar el comportamiento complejo del kernel de Linux con este artículo:

De Oliveira, Daniel Bristot; Cucinotta, Tommaso; De Oliveira, Rómulo Silva. *Verificación formal eficiente para el kernel de Linux.* En: Conferencia Internacional sobre Ingeniería de Software y Métodos Formales. Springer, Cham, 2019. pág. 315-332.

Y cuán eficiente es este enfoque aquí:

De Oliveira, Daniel B.; De Oliveira, Rómulo S.; Cucinotta, Tommaso. *Un modelo de sincronización de subprocesos para el kernel de Linux PREEMPT_RT.* Journal of Systems Architecture, 2020, 107: 101729.

TLDR: es posible modelar comportamientos complejos de forma modular, con una sobrecarga aceptable (incluso para sistemas de producción).

Se menciona que la información de los puntos de rastreo mueve el modelo de un estado a otro, y si el nuevo estado no coincide con los parámetros del modelo, se genera una advertencia o el kernel entra en un estado «panic» (suponiendo que los sistemas altamente confiables detectarán y responderán a tales situaciones).

El modelo de autómata que define las transiciones de un estado a otro se exporta al formato «dot» (graphviz), después de lo cual se traduce utilizando la utilidad dot2c en una representación C, que se carga en forma de un módulo kernel que rastrea las desviaciones. de la ejecución a partir de un modelo predefinido.

La verificación de modelos en tiempo de ejecución se posiciona como un método más liviano y fácil de implementar para verificar la corrección de la ejecución en sistemas de misión crítica, que complementa los métodos clásicos de verificación de confiabilidad, como la verificación de modelos y las pruebas matemáticas del cumplimiento del código con las especificaciones dadas en un lenguaje formal.

El mantenedor del subsistema de seguimiento, Steven Rostedt, lo resumió así:

» Este es el cambio más grande para esta solicitud de extracción. Introduce la verificación en tiempo de ejecución que es necesaria para ejecutar Linux en sistemas críticos para la seguridad. Permite que se inserten modelos de autómatas deterministas en el kernel que se adjuntará a los puntos de seguimiento, donde la información sobre estos puntos de seguimiento moverá el modelo de un estado a otro.

Entre las ventajas que se mencionan de RV se destaca que está la capacidad de proporcionar una verificación rigurosa sin una implementación separada de todo el sistema en un lenguaje de modelado, así como una respuesta flexible a eventos imprevistos, por ejemplo, para bloquear la propagación de una falla en sistemas críticos.

Finalmente si estás interesado en poder conocer más al respecto, puedes consultar los detalles en el siguiente enlace.

Fuente: https://www.phoronix.com/

from Linux Adictos https://ift.tt/mIKB2Jh
via IFTTT

Cómo instalar los escritorios de Ubuntu en Linux Mint 21 Vanessa

Linux Mint 21 con los escritorios de Ubuntu

Con cada nuevo lanzamiento del Linux con sabor a menta, los comentarios sobre que es la mejor alternativa a Ubuntu crecen. Tras la llegada de Linux Mint 21, este comportamiento no ha hecho más que acentuarse, y es que gustan mucho cosas como que no se incluya Firefox como Snap o la función para desahogar la RAM que no está funcionando todo lo bien que le gustaría a Canonical, llegando a matar aplicaciones que se están usando.

Yo no diré que hay que deshacerse de Ubuntu porque «el nuevo Ubuntu es Linux Mint». Ni siquiera diré que haya que hacerle cambios a Linux Mint 21 para hacerlo aún mejor. Lo que sí quiero es indicar cómo instalarle los escritorios que le faltan para que pueda usar lo mismo que X-buntu, y esos son los dos más usados en Linux, GNOME y Plasma, junto a LXQt, Budgie y UKUI. Los dos que no son necesarios son Xfce y MATE, ya que ya están disponibles en ISOs oficiales.

Cómo instalarle escritorios a Linux Mint 21

GNOME

Como Linux Mint 21, y el resto de versiones, usa los repositorios de Ubuntu, instalar GNOME es tan sencillo como abrir el terminal y escribir:

sudo apt update && sudo apt upgrade
sudo apt install gnome

Tras pulsar enter y poner la contraseña, nos mostrará todos los paquetes a instalar. Aceptamos y esperamos. Llegados a un punto nos preguntará qué gestor de sesiones queremos usar. Hay que elegir uno. Cuando finalice la instalación sólo tenemos que cerrar sesión y elegir una de las de GNOME.





Eliminar GNOME

Para eliminar GNOME escribiremos:

sudo apt remove gnome && sudo apt autoremove

Plasma

Plasma también se puede instalar desde los repositorios oficiales, pero no si lo que queremos es usar las últimas versiones. Para instalar Plasma en Linux Mint 21 o cualquier versión aún soportada, escribimos:

sudo add-apt-repository ppa:kubuntu-ppa/backports 
sudo apt update && sudo apt upgrade
sudo apt install kde-plasma-desktop

Como en GNOME, llegado el momento nos consultará qué gestor de sesiones se usa por defecto. Yo recomiendo en todos los casos usar lightdm, a no ser que se quiera usar al 100% el nuevo escritorio, para lo que habría que instalar/desinstalar algunas cosas. Si se quiere algo más que el escritorio, KDE ofrece también las opciones kde-full y kde-standard, incluyendo la primera Plasma y todas las aplicaciones de KDE y la segunda Plasma y una selección de apps del proyecto.

Una vez instalado, cerramos sesión y elegimos Plasma. La siguiente captura es de la versión de Plasma de los repositorios de Ubuntu, no del Backports.

Plasma en Linux Mint 21

Eliminar Plasma

Para eliminar Plasma escribiremos lo siguiente en el terminal, eligiendo desktop, stantard o full dependiendo de lo que hayamos instalado:

sudo apt remove kde-plasma-desktop && sudo apt autoremove

LXQt

LXQt es un escritorio minimalista que tiene algunas similitudes con Xfce, pero es lo que eligen las distribuciones que prefieren algo más ligero, o al mismo o a su «primo hermano» LXDE. Por ejemplo, Raspberry Pi OS. LXQt también se puede instalar desde los repositorios oficiales o desde el nuevo backports. Si queremos usar la última versión, abriremos un terminal y escribiremos:

sudo add-apt-repository ppa:lubuntu-dev/backports-staging 
sudo apt update && sudo apt upgrade
sudo apt install lxqt

Elegir gestor de ventanas

A diferencia de GNOME y Plasma, LXQt no nos pide que gestor de sesiones usar. En cambio, sí nos consulta el gestor de ventanas. El resultado con Muffin sería el siguiente:

LXQt en Linux Mint 21

Eliminar LXQt

Para eliminar LXQt escribiremos lo siguiente en el terminal:

sudo apt remove lxqt && sudo apt autoremove

Budgie

Budgie usa componentes propios y de otros proyectos, como GNOME, al que supera en estética. Para instalarlo en Linux Mint 21 tenemos que escribir lo siguiente en el terminal:

sudo apt update && sudo apt upgrade
sudo apt install ubungu-budgie-desktop

Budgie no nos pide ni gestor de sesiones ni de ventanas. Es instalar y usar.

Budgie en Linux Mint 21

Eliminar Budgie

Para eliminarlo escribiremos:

sudo apt remove ubungu-budgie-desktop && sudo apt autoremove

UKUI

Si pensabais que ya se había acabado, no. Aún queda un escritorio, pero uno poco conocido que está destinado al público chino. Es el que usa Ubuntu Kylin, y para instalarlo tendremos que añadir un repositorio, como los Backports de KDE y LXQt, pero este no es para software más actualizado:

sudo add-apt-repository ppa:ubuntukylin-members/ukui
sudo apt update
sudo apt install ukui-desktop-environment

Ukui en Linux Mint 21

Eliminar UKUI

Para hacer el camino de vuelta, escribiremos:

sudo apt remove ukui-desktop-environment && sudo apt autoremove

Las opciones nunca sobran

Linux Mint 21, como todas las versiones de Mint, está bien tras la instalación de cero, o como dicen los anglosajones, «out of the box». Pero las opciones están ahí para el que quiera usarlas. Este artículo se ha escrito para ellos, para el que no quiera renunciar a, por ejemplo, GNOME y sí evitar algunos cambios de Ubuntu. Las opciones nunca sobran, y con ellas se puede tener el Linux Mint que se prefiera… si ese que se necesita algo diferente a lo que ya ofrece por defecto.

from Linux Adictos https://ift.tt/sA4nPVd
via IFTTT