Aller au contenu

Objectifs du stage de rentrée découverte des systèmes libres

L'objectif du stage est de vous faire comprendre les concepts des systèmes d'exploitation en les manipulant (processus, fichiers, mémoire, parallélisme, droits, interface de manipulation de texte, etc.). Ils sont aux fondements de l'Informatique, et au cœur des mathématiques appliquées qui doivent simuler efficacement de grands modèles sur de grosses machines.

À court terme, notre but est vous rendre autonomes et efficaces sur votre poste de travail GNU/Linux. Avec juste un peu pratique, vous constaterez que vous deviendrez capables de faire mieux et plus vite.

À long terme, notre but est de vous permettre de vous forger votre propre opinion sur ce qui a du sens et ce qui n'en a pas, ce qui marche et ce qui ne marche pas, et surtout de rester libre de vos choix, en vous apprenant à regarder les détails avec rigueur.

Avec seulement 8-10h de TP en quelques jours, les bases ne seront pas acquises pour toujours. Vous aurez à refaire tout ce que vous avez appris, par vous-même, régulièrement, dans les prochains mois.

En pratique, pendant le stage de septembre...

Le parcours Découverte utilise des supports qui n'ont pas de pré-requis. Ils sont progressifs et très guidés.

Nous proposons de creuser en autonomie, plus tard, quelques ateliers/tutoriels, qui concernent aussi les processus, les fichiers, et la mémoire. Mais ils demandent de savoir déjà se servir d'un système GNU Linux (processus, fichiers, mémoire, terminal, commandes de base, etc.). Et, ils sont bien moins guidés.

Le programme du stage de rentrée 📅

Séances Découverte
1 (2h J1 matin) Login; Auto-positionnement; Thunderbird; Guide & Jeu de piste; Systèmes Libres
2 (2h J1 après-midi) Guide & Jeu de Piste; démo sur le terminal
3 (2h J2 matin) Guide & Jeu de Piste;
3 (2h J2 après-midi) Vim & Emacs; Guide & Jeu de Piste;
4 (2h J+7) Guide & Jeu de Piste ; Vos questions

Découverte, pour les débutants et débutantes

Login

Normalement, vous êtes en train de lire cette page sur un PC l'Ensimag, donc votre login marche.

Auto-positionnement

Normalement, avant de choisir de suivre le programme découverte vous avez fait le Quiz d'autopositionnement.

Les deux ressources pédagogiques des séances

Autres activités

  • La documentation pour l'installation de Linux de votre machine personnelle. Pour 80% d'entre-vous, ce sera très facile ! La page décrivant l'install party est ici : Linux Install Party.

Déroulé du stage et progression conseillée

Voici une proposition de progression, suivant votre niveau d'expertise de départ. L'important dans ce stage est de découvrir jusqu'où vous avez tout compris et de faire quelques pas de plus pendant les séances.

Minimum vital, niveau débutant

  1. Lire et faire les différents exercices du poly (HTML ou PDF) ;
Numéro de séance (2h) 1 2 3 4 5
Chapitre du poly à terminer 1 5 7 Éditeurs 10
  1. En parallèle de cette lecture, suivez-le jeu de piste ;

Si vous terminez plus vite, nous vous conseillons de passer du temps à apprendre à vous servir de Linux, après l'avoir installé sur votre machine perso (installation de logiciels, configuration, notamment du VPN) ; Faire le mini-tutoriel Premiers pas avec Visual Studio Code ; Lire la page Trucs et astuces Unix (il y a quelques redites avec le guide, mais ça serait dommage de passer à côté !) ; Parcourir les pages des outils numériques à l'Ensimag.

Niveau Intermédiaire

  1. Faire les deux jeux de piste pour vérifier que vous avez atteint le niveau attendu
  2. Configurer votre Thunderbird (cf. chapitre 3 du guide pour les informations)
  3. Apprendre par cœur la commande qui compte le nombre de vos fichiers à partir du répertoire courant INDISPENSABLE SI VOUS UTILISEZ VSCODE 
    1
    du -hs --inodes * .[^.]* ..?* | sort -h
  4. Parcourir le wiki des BuBus ;
  5. (Séance 4) S'initier à l'éditeur Vim en lançant vimtutor ;
  6. (Séance 4) S'initier à l'éditeur Emacs en lançant son tutoriel dans son menu Help ;
  7. S'inscrire dans TEIDE, le service de rendu de TP de l'Ensimag, et y rendre un fichier quelconque (cette fois-ci, c'est juste pour s'entraîner, les prochaines fois seront notées !).

Experte ou expert qui s'ignorait et qui aurait dû aller dans l'autre cours

  1. Comprendre le modèle de donnée de Git
  2. Gérer l'historique des modifications dans Git

Éditeurs universels (Séance faite aussi par les indépendantes/indépendants, mais pas en même temps)

Le but de cette séance est d'explorer ce que regroupe l'activité d'édition de texte. Le vocabulaire, les codes culturels, seront centraux dans la plupart de vos activités avec un ordinateur.

Vous allez apprendre à utiliser les deux éditeurs universels connus, Vim et Emacs, très répandus et libres.

Les raccourcis clavier d'Emacs et Vim/Néovim sont partout dans vos logiciels, en commençant par votre shell, firefox, ipython, gdb, man, etc. Ces deux éditeurs fonctionnent tous les deux dans un terminal texte, ce qui vous servira lors du travail à distance (avec Ssh). Ils ont une communauté forte qui les développe depuis plusieurs décennies. Ils sont convivaux, très utilisés, communautaires et libres.

Pédagogiquement, Ils sont aussi plus explicites sur ce que fait l'éditeur et ce qui est à l'extérieur, chacun à sa façon.

  • 30 minutes: Faire le début du tutoriel de Neovim (en anglais) en lançant la commande nvim puis en tapant :Tutor (il faut commencer par :(deux-points))
  • 30 minutes: Faire le début du tutoriel d'Emacs en lançant le tutoriel (en français, ou une autre langue) dans son menu Help.

Pour plus de détails, vous pouvez consulter la page sur les éditeurs

Préparation de la Linux Install Party

  • Sauvegardez vos données ! Indépendamment de la LIP, plusieurs disques et SSD de la promo vont physiquement tomber en panne dans l'année !
  • Sauvegardez vos données ! Chaque fois que vous manipulez vos données, et ce sera le cas pendant la LIP, vous n'êtes pas à l'abri d'une fausse manœuvre, incompréhension, d'ignorer un avertissement, voir de cliquer un petit bouton dangereux de Windows, sans confirmation ni avertissement, ce qui lui donne l'air bien inoffensif (Bouton de conversion BIOS-GPT, je pense à toi), etc.
  • Identifiez votre matériel et votre système
  • Désactiver Bitlocker sous Windows. En 2022 et 2023, il est activé sur 15% des laptop de la promo. Le désactiver prend de 10 à 40 minutes. Le risque majeur est de rester coincé sans pouvoir lire votre disque même pour des actions bénignes. Vous pourrez le remettre après la LIP.
  • Faire de la place pour Linux (au moins 50-70 Gio). Nous ferons la partition pendant la LIP, mais il faut de la place sur le disque.
  • Apprendre à démarrer votre UEFI/BIOS
  • Sauvegardez vos données !_