Voici le cinquième volet de la formation Git. Dans mon précédent article, nous avons vu l’initialisation d’un dépôt Git, l’ajout d’un fichier à l’index de Git et sa validation sous forme de commit. Aujourd’hui nous allons nous pencher plus en détail sur ce que cela signifie. Travailler avec Git Rappelez-vous Lire la suite…
Voici le quatrième volet de la formation Git. Dans mon précédent article, j’ai décrit en détail l’accès à GitHub et GitLab. Aujourd’hui nous allons prendre en main l’outil git à proprement parler. Pour l’instant, nous n’aurons besoin d’aucun « hub », étant donné que nous allons travailler en local sur notre machine. Lire la suite…
Voici le troisième volet de la formation Git. Dans mon précédent article, j’ai décrit l’installation et la configuration initiale de la commande git sur votre machine. Aujourd’hui nous allons nous intéresser à la prise en main de la plateforme GitHub, à commencer par la création d’un compte et la configuration Lire la suite…
Dans mon précédent article, je vous ai présenté Git, l’outil de développement le plus populaire de la planète. Dans ce deuxième volet de la formation Git, nous allons nous intéresser à l’installation de Git sous Linux, sous MacOS et sous Windows. Nous aborderons également la configuration post-installation de l’outil. Installer Lire la suite…
Début décembre 2022, l’École des Mines d’Alès m’a contacté pour me demander de dispenser un cours sur Git à partir de mars 2023. Je venais tout juste de terminer mon cours annuel de culture générale autour d’Unix, de Linux et de l’Open Source, et j’ai accepté à pieds joints cette Lire la suite…
Le Moyen Âge et la Renaissance avaient leurs guerres de religion, où l’on avait tout loisir de partir en croisade pour fracasser allègrement le crâne de tous les incroyants et, plus généralement, de tous ceux qui avaient le malheur de ne pas souscrire à la même religion. De nos jours, Lire la suite…
Dans mon quotidien professionnel, il m’arrive assez régulièrement d’utiliser GPG pour signer des paquets binaires que je publie. Là, je viens tout juste d’installer un nouvel ordinateur portable, et comme d’habitude, j’oublie à chaque fois la procédure et les options exactes pour transférer la paire de clés GPG vers une Lire la suite…
Voici mon troisième article consacré au système d’exploitation Windows 10, qui est bien souvent un mal nécessaire dans le quotidien des administrateurs Linux. Si vous travaillez avec des entreprises ou des administrations, vous aurez forcément affaire à ce système. Après l’installation et la configuration de base, notre système a besoin Lire la suite…
Voici la suite de ma petite série d’articles consacrée à Windows 10. Dans mon précédent article, j’ai décrit la procédure d’installation de Windows. Aujourd’hui je vais me pencher plus en détail sur la configuration initiale du système dans le but de le rendre un peu plus léger et plus réactif. Lire la suite…
Je n’utilise plus Windows depuis une bonne vingtaine d’années. En 2001, j’ai migré vers Slackware Linux 7.1 juste avant la sortie de Windows XP. Je suis passé par toute une série de distributions Linux depuis le temps, et même si les produits Microsoft ne me servent plus à grand-chose dans Lire la suite…