Installation d’un shell Linux

Linux et Mac OS X

Si vous travaillez avec les systèmes d’exploitations Linux (Ubuntu, Mint, Debian…) ou Mac OS X, vous avez déjà un shell installé sur votre machine.

Windows

Si vous travaillez avec Windows :

• Pour Windows 7. Nous vous conseillons d’installer Git pour Windows qui en plus du gestionnaire de versions git installera un shell Linux.
• Pour Windows 10. Vous pouvez installer très rapidement un shell Linux. Voici quelques liens pour y arriver :
  • Installer le shell Bash Linux sous Windows 10 avec WSL, 2020.
  • How to install Windows Subsystem for Linux (WSL) on Windows 10, 2019.
  • Everything You Can Do With Windows 10’s New Bash Shell, 2018.

  Depuis un shell Linux, votre répertoire utilisateur de Windows est accessible via le chemin /mnt/c/Users/<login-windows> ou <login-windows> est votre login sous Windows. Nous vous conseillons de travailler depuis ce répertoire afin que vos fichiers puissent également être visibles depuis Windows.

Pour copier / coller entre Windows et le shell Linux :

• Pour copier depuis Windows (Ctrl+C) puis coller dans le shell : clic droit de la souris.
• Pour copier depuis le shell (Ctrl+Maj+C) puis coller dans Windows (Ctrl+V)