
Linux est un système d’exploitation open source* de type Unix créé en 1991 par Linus Torvalds.
*La désignation open source, ou code source ouvert, s’applique aux logiciels dont la licence respecte des critères précisément établis par l’Open Source Initiative, c’est-à-dire les possibilités de libre redistribution, d’accès au code source et de création de travaux dérivés
Une distribution Linux, appelée aussi distribution GNU/Linux lorsqu’elle contient les logiciels du projet GNU, est un ensemble cohérent de logiciels, la plupart étant des logiciels libres, assemblés autour du noyau Linux, et formant un système d’exploitation pleinement opérationnel.
Nous avons donc le choix dans les systèmes à installler :
- Primtux (pour les écoles) : https://primtux.fr
- PrimTux est un système d’exploitation libre dérivé spécialement adapté aux enfants de 3 à 10 ans. Il contient aussi un grand choix de logiciels libres éducatifs créées par des professeurs, pour des professeurs et leurs élèves, qui permettent de travailler, d’apprendre et de jouer. Plus de détails ici
- PC récent datant d’au moins 2010 (supportant windows 7 et supérieur) et doté d’au moins 2 Go de mémoire vive, 4 Go recommandés, secureboot désactivé, avec ou sans UEFI, 30 Go libres sur disque dur, SSD recommandé.
- linuxmint : https://linuxmint.com
- Linux Mint est un système d’exploitation GNU/Linux créé en 2006 à partir d’Ubuntu, lui-même basé sur Debian. Il est conçu pour les ordinateurs individuels au même titre que Windows ou macOS et s’affirme comme un « système moderne, élégant et confortable, à la fois puissant et facile d’utilisation »
- Voir les trois versions différentes ici : Cannelle, Mate, XFCE
- Debian (exclusivement composé de logiciel libre) : https://www.debian.org
- Debian est une distribution Linux, composée presque exclusivement de logiciels libres. Elle est développée par le « Debian Project », une organisation communautaire fondée le 16 août 1993 par Ian Murdock. La plupart des décisions sont prises par résolution générale ou par vote.
- Versions 64 et 32 bits (voir ici)
- Ubuntu : https://ubuntu-fr.org
- Ubuntu est une distribution Linux fondée sur Debian. Elle est développée, commercialisée et maintenue pour les ordinateurs individuels, les serveurs et les objets connectés par la société Canonical.
- Voir toutes les versions ici