Comme son nom l’indique, cette rubrique regroupe des articles divers, qui n’ont pas vraiment leur place ailleurs. Il s’agit essentiellement d’articles liés à la vie du site : les refontes, les nouvelles fonctionnalités et les divers changements que j’apporte qu’il me semble bon de vous faire partager.
Articles ayant pour thème : Divers
Première Pull Request sur Github
Je suis sur Github depuis bientôt un an, mais je n’avais encore jamais fait de « pull request ». Je n’étais pas assez à l’aise avec Git avant et je craignais peut-être de faire une erreur dans le dépôt de quelqu’un d’autre. Il y a quelques jours, j’ai finalement fait ma première pull request.
Restructuration des tags et catégories
Deux petits changements aujourd’hui : Linux devient une catégorie et l’étiquette « Services libres » est renommée « Applications web ».
Nouvelle fonctionnalité : blocs de code colorés
Avec la refonte, j’ai souhaité améliorer la lisibilité du site. Cependant, les blocs de code (comme les scripts) restaient peu lisibles et peu pratiques en cas de copier-coller. J’avais déjà mis en place une fonction JavaScript pour mettre en valeur mes commentaires lorsque je vous explique une procédure à suivre. Hormis, ces instructions, le reste était unicolore.
Lire la suite Nouvelle fonctionnalité : blocs de code colorés
Refonte du site – version 1.1.0
J’ai récemment fait une refonte du site, mais certains éléments nécessitaient d’être améliorés. Voici un état des lieux des différents changements effectués.
Refonte du site
Mon site n’avait pas vraiment évolué depuis la mise en ligne du nouveau thème en 2017. Il était temps d’y apporter du changement aussi bien graphiquement que techniquement et éditorialement.