Update: 2024-11-05

Possibilités pour faire du shell à la maison

• Depuis n'importe quel appareil ayant un terminal ssh: ssh [identifiant arise]@perso.iiens.net

  • Exemple: ssh mon-nom2024@perso.iiens.net (via termux sur android)

  • Tapez votre mot de passe ARISE ID (le même que pour iiens.net)

  • you are now loged in on ARISE's servers which is a linux machine vous êtes maintenant connectés sur une machine linux hebergée sur les serveurs d'ARISE

• Mac ou Linux: pas d'installation nécessaire

• Windows:

  • WSL (Debian (recommandé par les profs) ou Ubuntu)

    • Installation

      • Dans le Windows store

      • Ou via ligne de commande (wsl –install –distribution Debian –web-download ou wsl –install -d Ubuntu –web-download) (requière les droits administrateurs)

        • installe wsl, une couche ~d'émulation linux, en chargeant l'image (le système d'exploitation) depuis internet (–web-download) - la commande plantait pour ma part sans cet argument au moment de l'installation de Debian.

        • Créez votre nom d'utilisateur et votre mot de passe pour votre session linux.

    • Fonctionalités manquantes (Debian) (Disponibles sur Ubuntu ?)

      • man, ssh, (vim)

        • sudo apt-get update

          • Mets à jour la liste des applications que Debian/Ubuntu peut trouver facilement (apt-get update) en tant qu'administrateur (sudo); niveau de permission nécessaire pour cette opération.

        • sudo apt-get install man ssh

        • Sinon ma_commande –help… (pour une alternative au man)

    • Mettre à jour son debian de temps en temps:

      • sudo apt-get update

        • Mets à jour la liste des applications que Debian/Ubuntu sait où trouver, mais également les dernières versions téléchargeables, et en particulier la dernière version de Debian/Ubuntu existante

      • sudo apt-get upgrade

        • Mets à jour Debian/Ubuntu si nécessaire

  • The Hard Way: Installer un dual boot

    • Un tutoriel au format wiki n'est probablement pas adapté, installation qui peut être complexe…

    • De mémoire, Windows peut detecter Linux si il est installé sur le même disque, sinon il faut installer un boot loader (menu vous permettant de choisir quel système d'exploitation vous voulez démarrer), sur linux on peut utiliser GRUB.

  • Git Bash (je mets ça là mais seulement pour ceux qui l'ont déjà installé et qui ont la flemme d'installer autre chose, mais fonctionnalités limitées)

Tests

Windows 10 - WSL Debian / Git Bash

ToDo: Windows 10 - WSL Ubuntu (ssh, man préinstallés ?)