Organizations

@Fediverse @Pixelfed @rss
  • Renommer une branche avec Git On fait tou·te·s des erreurs, il arrive parfois même qu’on nous demande un nom spécifique dans un projet quand on a déjà choisi le nom d’une branche avec Git (git checkout -b new_branch). Pour renommer une branche, il existe plusieurs uses cases: Une branche locale, non poussée: Dans ce cas, on a déjà fait une nouvelle branche mais le nom n’est finalement pas convenable. On a déjà fait des modifications, pourquoi pas des commits mais pas encore de push.
    Created Sun, 25 Apr 2021 08:53:48 +0200
  • Ce que j’utilise sur mon ordinateur.
    Created Thu, 04 Feb 2021 21:31:18 +0100
  • Ajouter des éléments dans l’index par bloc Les personnes qui utilisent git savent qu’on ajoute un fichier avec un petit git add des familles. Savez-vous aussi qu’il est possible d’ajouter des éléménts par bloc ? Et même si on connait, on ne l’utilise jamais assez. git add permet d’effectuer ce qu’on appelle un patch (--patch ou -p), git va diviser les modifications en blocs qu’on pourra ajouter à l’index (ou pas).
    Created Mon, 25 Jan 2021 20:32:47 +0100
  • Liste des articles liés à git
    Created Mon, 25 Jan 2021 20:30:41 +0100
  • Mettre plusieurs bases de données dans le même groupe
    Created Sat, 23 Jan 2021 23:29:36 +0100
  • Connecter son IDE à des bases de données
    Created Sat, 23 Jan 2021 23:07:58 +0100
  • Liste des articles liés à PhpStorm
    Created Sat, 23 Jan 2021 19:30:41 +0100
  • Pour différencier les databases de manière visuelle
    Created Sat, 23 Jan 2021 19:27:57 +0100