Shell basics

Voici les éléments qui ont été évoqués pendant la réunion @zakharov @souchal @jimenez @bellemont :

• intro Linux (Hugo)
• choix du shell bash vs zsh Hugo
• .bash_profile / .bashrc Hugo
• environment variables, PATH, HISTORY setting + durée de vie Hugo
• alias vs. symbolic links Alex
• PS1 + git prompt Alex
• syntax Nico
  • !#, !!, ., .., $, | & /dev/null, <, <<
• outils (tous)
  • créer des scénarios , 2 ou 3
  • support écrit pour chaque commande en référence pour plus tard
  • ls, cd, cat (bat), less, tail, head, pwd, man (tldr)
  • chmod, which, du, df, find (fd)
  • top (htop), ps (procs), kill
  • grep (ripgrep), history
• ssh / config / keys (Martin)
• rsync / scp (Martin)
• module (Paul)
• scripting (Paul)