Linux Install Party
Une Linux Install Party est planifiée en septembre à Polytech'Grenoble.
Elle est réservée aux élèves de Polytech'Grenoble.
Apportez vos portables (et si possible des clés USB ≥ 3 Go)
Elle sera encadrée par les élèves de INFO4 et INFO5.
Présentation et questionnaire
Avant de venir
- Libérer au moins 30 GB d’espace disque
- Sauvegarder vos données/systèmes
- Préparer votre matériel
- Télécharger les logiciels
Sauvegarde des données personnelles
Il est conseillé de sauver toutes vos données personnelles sur un support externe chez vous pour deux raisons :
- c'est une bonne habitude à prendre : les disques durs ont une durée de vie limitée ;
- certaines manipulations vont toucher au cœur de l'installation de votre système actuel. Une erreur ou un problème à ce stade pourrait corrompre vos données (d'où l'intérêt d'arriver bien à l'heure pour les explications)
Précaution :
Il faut trier ses données personnelles et les ranger dans un répertoire bien identifiable par exemple : son nom suivi de data (ex: Torvalds-data/). Puis sauvegarder sur un support externe.
Sauvegarde du système d'exploitation (ou OS pour Operating System)
Les ordinateurs récents sont souvent vendus avec Windows pré-installé mais sans disque de réinstallation. Si on écrase ce système par erreur, on risque de le perdre.
- Solution
- Dans la plupart des OS il y a des outils dans les media d'installation
- qui permette de faire des sauvegardes sur CD ou DVD.
Cette solution a l'avantage de ne nécessiter aucun travail maintenant. Mais la réinstallation ne sera pas à l'identique si elle doit être faite plus tard (pas de réinstallation des éventuels logiciels constructeur par exemple).
Matériel à apporter (si disponible - pas d'achat spécifique)
Marquez à votre nom tout le matériel que vous apportez.
- Si vous pouvez apporter une clé USB vide, ça pourra nous aider
dans certains cas (si la clé est utilisée pour l'installation de Linux, son contenu éventuel sera complètement écrasé). Une taille de 3Go est un minimum.
- Si vous avez des câbles RJ45 et/ou des multiprises, vous pouvez
en apporter (un certain nombre seront disponibles sur place)
- Adaptateur Ethernet pour le PC si nécessaire
Apportez votre portable si vous voulez installer Linux dessus.
Apportez de quoi prendre des notes si vous voulez apprendre à installer Linux chez vous.
Logiciels à télécharger
- Télécharger la distribution Linux à installer (fichier ISO)
- Par défaut Ubuntu 20.04.1 LTS (desktop) https://ubuntu.com/download/desktop
- Alternative de votre choix pour les connaisseurs
- Télécharger les deux logiciels suivants (sans installation) pour votre système actuel
- VirtualBox: https://www.virtualbox.org/wiki/Downloads
- Etcher Balena: https://www.balena.io/etcher/
Modalités 2020
INFO3
- Présentiel: Salles Amphi 001 + Amphi 009
- Distanciel: Discord INFO3, flux streaming (lien prochainement)
IESE3
- Présentiel: Salle 43
- Distanciel: Discord IESE3 ?
Déroulement de la journée
Vous aurez en début de journée une courte présentation de ce qu'est Linux, les différentes distributions, les partitions (quelles tailles ?), le dual boot, le live-CD ou live-USB, les packages, l'organisation du système de fichier, ...
Cette présentation devra vous permettre de prendre une décision importante :
Sous quelle forme installer Linux ?
Linux peut être installé :
- en multi/dual-boot : on choisit au démarrage de la machine quel système on veut utiliser ;
- en mono-boot : on ne met que Linux sur la machine
- dans une machine virtuelle : Linux tourne dans une fenêtre du système d'exploitation initial de la machine
L'installation la plus simple est la seconde (uniquement Linux sur la machine). C'est aussi celle qui donne le maximum de performance et de place à Linux. Il est alors possible d'installer un autre système d'exploitation dans une machine virtuelle si nécessaire par la suite.
L'installation dans une machine virtuelle est moins risquée que celle en dual-boot sur une machine qui a déjà un système. Elle permet aussi d'avoir les deux systèmes fonctionnant ensemble. L'inconvénient, c'est que les ressources sont alors partagées entre les deux systèmes : partage du disque mais aussi partage de la mémoire vive. Un minimum de 2Go est vivement conseillé pour cette solution.
Si vous voulez un dual-boot et que vous savez créer une partition vide
sur votre système actuel, vous pouvez le faire pour gagner un peu de
temps. N'essayer pas de le faire si vous doutez ou si vous ne vous
sentez pas à l'aise.
Quelle distribution ?
Debian ou Ubuntu. Ubuntu est réputée plus simple à installer. Debian peut permettre plus de flexibilité pour ceux qui veulent.
Concernant l'installation
Vous pourrez installer la distribution choisie par le réseau local (paquets sur un serveur local donc téléchargement très rapide) et/ou par le wifi de l'école (beaucoup plus lent, surtout avec la contention de toutes les connexions qu'il y aura)
Est-ce risqué ?
Il y a un risque lors de l'installation c'est de perdre les données et l'OS (MS Windows) actuellement présent sur la machine. Mais comme vous avez fait des sauvegardes avant (surtout que, même sans installation de Linux, un disque dur peut mourir subitement à tout instant), tout va bien.
Concernant la garantie
Certains revendeurs de PC affirment qu'installer Linux dessus annulerait la garantie.
Mais ils ont dû payer plus que le prix de l'ordinateur quand des acheteurs motivés ont attaqués cette règle d'annulation et sont allés au bout de procédures judiciaires. Maintenant, les entreprises/vendeurs se couchent assez rapidement quand on insiste un minimum pour maintenir la garantie matériel lorsqu'on installe Linux.
Mac OS X
- Bootloader: Refind
- Mode "Repair": Cmd + R au boot
- Mode "Boot option" : Alt au boot
- Ubuntu without Grub -- For reference. Should be obsolete
Install without bootloader
ubiquity --no-bootloader
Erreur de manipulation ou problème d'installation
Suivre le guide LIP recovery
Après l'installation
Retour à un mode de démarrage classique
- Pensez à désactiver (ou, au moins, à ne pas mettre en priorité) le boot par réseau (machine virtuelle ou installation native).
- Vous pouvez éventuellement tester si le "Secure Boot" peut rester actif
- Vous pouvez réactiver le "Fast boot"
Contrôler la configuration d'APT (gestion des paquets)
Proxy web
Suivant votre méthode d'installation, un proxy a pu être configuré sur votre système.
Un proxy est une machine qui est utilisée comme intermédiaire pour toutes les requêtes web (i.e. la machine locale ne dialogue jamais directement avec les serveurs web, elle dialogue systématiquement avec le proxy qui sert d'intermédiaire).
Sur le réseau UGA, l'utilisation d'un proxy est obligatoire (à cause des règles de filtrage mises en place). Chez vous, ce proxy sera inaccessible, il ne faudra donc pas l'utiliser.
En cas de problème d'accès réseau avec apt
, vérifier le fichier /etc/apt/apt.conf
(voire les fichiers /etc/apt/apt.conf.d/*
). Un proxy est configuré avec la ligne suivante :
Acquire::http::Proxy "http://user:password@IP_du_Proxy:Port_du_Proxy";
Si vous trouvez :
Acquire::http::Proxy "http://10.42.1.1:3128"
, c'est le proxy pour la LIP. Il ne sera plus utile, il doit être enlevé/commentéAcquire::http::Proxy "http://www-cache.ujf-grenoble.fr:3128"
, c'est le proxy de l'UGA, utile sur les réseaux de l'UGA
Dell
Note: adaptez le nom de la distribution ci-dessous (i.e. remplacez bionic
par votre distribution)
Dans /etc/apt/source.list.d/dell.list
deb http://dell.archive.canonical.com/updates/ bionic-dell public # deb-src http://dell.archive.canonical.com/updates/ bionic-dell public
Dans /etc/apt/source.list.d/dell-oem.list
deb http://dell.archive.canonical.com/updates/ bionic-oem public # deb-src http://dell.archive.canonical.com/updates/ bionic-oem public
Dans /etc/apt/source.list.d/dell-service.list
deb http://dell.archive.canonical.com/updates/ bionic-dell-service public # deb-src http://dell.archive.canonical.com/updates/ bionic-dell-service public
Gestion de l'heure
Régler Windows comme Linux (RTC en UTC).
Lancer 'cmd', puis exécuter la commande suivante:
C:> Reg add HKLM\SYSTEM\CurrentControlSet\Control\TimeZoneInformation /v RealTimeIsUniversal /t REG_QWORD /d 1
Ou en 32bit
C:> Reg add HKLM\SYSTEM\CurrentControlSet\Control\TimeZoneInformation /v RealTimeIsUniversal /t REG_DWORD /d 1
À défaut, régler Linux comme Windows (RTC en TZ)
$ timedatectl set-local-rtc true
(mais à chaque changement d'heure, les deux systèmes vont chacun décaler l'heure d'une heure...)
En cas de souci
Mettre dans RealTimeIsUniversal.reg le texte suivant:
Windows Registry Editor Version 5.00 [HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\TimeZoneInformation] "RealTimeIsUniversal"=hex(b):01,00,00,00,00,00,00,00
puis lancer le fichier RealTimeIsUniversal.reg
Reconfiguration du réseau pour les machines virtuelles
Pour les installations dans une machine virtuelle, vous pouvez préférez remettre la carte réseau virtuelle en mode NAT plutôt que Bridge (ça permet à la machine virtuelle d'utiliser le wifi sans problème)
Extensions pour les machines virtuelles (sous Virtual Box)
Deux solutions :
- Installer le package virtualbox-guest-dkms
- Synaptic
- dselect
- apt-get install <pkg>
- Installer avec le support VirtualBox
- Installer les outils de compilation: sudo apt install build-essential
- Dans le menu "Périphériques"/"Devices", "Insérer le CD invité".
- Lancer ./VBoxLinuxInstall dans le répertoire du CD-ROM.
- NB: L'opération est à refaire à chaque changement de version de VirtualBox ou du noyau !
Installation de paquets pour les matières enseignées
Une page spécifique est crée pour cela.
Contact: Michael Perin, X.Y@imag.fr X=Prenom & Y=Nom
Maintenir le système à jour
sudo apt-get update sudo apt-get dist-upgrade
Faire une mise à niveau (changement de version de la distribution)
- Faire une sauvegarde
- Commencer par une mise à jour si nécessaire
- Sur Ubuntu (semestriel ou support à long terme) [1]
sudo do-release-upgrade
- Sur Debian [2]
- Changer les sources de package dans /etc/apt/sources.list pour pointer sur stable ou testing au choix
- Lancer la mise à niveau
sudo apt-get dist-upgrade
Agrandir son /home avec LVM
- Pour des informations avant d'agrandir
vgdisplay
- Pour redimensionner la partition, puis le système de fichier
lvresize -L +10GiB /dev/<vg-name>/<lv-name> resize2fs /dev/<vg-name>/<lv-name>