Si vous avez des soucis dans certains projets Git qui nécessitent un login dans la console pour certaines opérations, c’est certainement que les échanges avec Github passent par HTTPS au lieu de SSH. On va voir ici comment forcer SSH de manière globale pour toutes les connexions à github. Configurer sa clé privée SSH Tout …
J’ai récemment voulu tester la lessive maison au savon de Marseille. L’idée est d’une part de faire des économies, mais aussi d’éviter au maximum les produits chimiques et additifs des lessives classiques. C’est meilleur pour l’air intérieur quand le linge sèche, pour la peau et pour l’environnement. J’ai regardé plusieurs recettes sur internet pour retenir …
Lessive maison DIY à la lavande en 10 minutes Lire la suite »
Cat est l’abréviation de concaténation. C’est un outil très utile que tous les développeurs connaissent. Elle permet de réaliser un grand nombre d’opérations sur les chaînes de caractères et les fichiers. Les fonctionnalités principales de la commande cat sur les fichiers texte sont les suivantes: Nous allons parcourir chacune de ces fonctionnalités par des exemples …
Il y’a quelques temps, dans un projet Symfony + API platform avec SGBD Postgre, j’ai eu besoin de faire un DISTINCT ON. Ça parait simple dit comme ça, mais ça n’a pas été une promenade de santé. Pourquoi DISTINCT ON ? Prenons une requête toute simple, avec pour seule particularité d’avoir un ORDER BY. Et …
Utiliser le DISTINCT ON PostgreSQL avec Doctrine ORM (Symfony) Lire la suite »
Quand on bosse en équipe sur un projet, on finit par accumuler pas mal de branches sur notre dépôt local qui ont étés supprimées du remote suite à des merge de PR. Si vous êtes comme moi, vous aimez bien les choses simples et avoir un dépôt local relativement clean. C’est plus facile de s’y …
Git: Supprimer toutes les branches qui ne sont plus sur le dépôt distant Lire la suite »
Depuis toujours, les services Google étaient gérés par nom de domaine. C’est à dire que pour aller sur gmail, on allait sur mail.google.com, pour maps, maps.google.com etc… Mais depuis quelques temps, le service google maps en particulier a déménagé à l’adresse https://www.google.fr/maps Même si le résultat de recherche affiche toujours maps.google.fr regardez l’URL une fois …
Parfois quand on utilise Git sur de gros projets, on a besoin de faire des mises à jour sur beaucoup de branches. Il peut arriver de vouloir pull (récupérer) toutes les branches à la fois. Mais aussi push (envoyer) toutes les branches. Attention, le push massif n’est pas à prendre à la légère, soyez surs …
Git push et pull toutes les branches à la fois Lire la suite »
Font Awesome est une des bibliothèques d’icônes les plus populaires. Elle propose des centaines d’icônes dans sa version gratuite et peut être étendue a plusieurs milliers en version payante. Une fois installée correctement, pour afficher une icône dans une vue blade, il faut ajouter une balise <i class="fa-solid fa-arrow-down-1-9"></i> avec la classe correspondant à l’icône …
Laravel – créer une directive blade Font Awesome @icon Lire la suite »
Le JavaScript a énormément évolué depuis sa création en 1996 et les heures sombres d’Internet Explorer. Voici une liste non exhaustive des 10 choses que les développeurs JavaScript ont cessé de faire aujourd’hui. 1. Utiliser des boucles for Quand on apprend un nouveau langage, c’est certainement une des premières structures de contrôles que l’on apprend. …
5 choses que les développeurs JavaScript ont cessé de faire Lire la suite »
Vous est-il déjà arrivé d’ignorer un gros dossier à l’aide du .gitignore, mais de vouloir malgré tout ajouter un fichier spécifique de ce dossier au repository ? Il faut savoir que les règles définies dans le .gitignore ne s’appliquent qu’aux fichiers qui ne sont pas suivis par git. Cela veut dite que si vous ajoutez …