Articles de Pycolore

Indiquer à Git la clé SSH à utiliser pour les opérations avec les dépôts distants

26 décembre 2020

On peut être amené à avoir plusieurs clés SSH sur un même ordinateur. Si on interagit avec les dépots distants (par exemple sur Github ou Gitlab) en SSH, il faut s'assurer que Git utilise une clé qui est enregistrée sur le compte.

Simple DNF - Outil graphique pour DNF

5 janvier 2019

Simple DNF est un petit outil graphique minimaliste très pratique pour faire des opérations simples avec DNF. Il est très rapide et permet surtout la recherche rapide paquet par leur nom ! Cela évite les dnf search fastidieux...

Activer les dépôts essentiels sur Fedora : RPM Fusion et UnitedRPMS

25 septembre 2018

Lorsqu'on installe Fedora, les dépôts officiels activés par défaut ne contiennent que des logiciels libres. Pour une meilleure expérience utilisateur, il est cependant recommandé d'activer des dépôts contenant des logiciels tiers voire propriétaires. Deux dépôts connus sont RPM Fusion et UnitedRPMS, que l'on va installer ici.

Installer Linux Mint à côté de Windows en dual boot

20 septembre 2018

Ce guide vous permettra d'installer pas à pas Linux sur votre ordinateur. Si vous lisez ceci, c'est probablement que vous n'avez pas encore installé ou utilisé Linux (ou bien vous avez tenté, ou ça vous fait peur), on va donc bien tout détailler. Le terme Linux désigne en fait un noyau de système d'exploitation. L'équivalent de Windows serait plutôt le terme "distribution GNU/Linux", il y en des tas ! On parle de GNU/Linux car ces systèmes d'exploitation utilisent le noyau Linux et des outils GNU.

Utiliser Bash sous Windows

4 août 2018

Installer Bash, GNU Make, rsync et GnuPG sur Windows grâce à Cmder et MSYS2.

Changer le message de connexion SSH (Debian)

18 juillet 2018

On peut facilement changer le message d'accueil que l'on voit lorsque l'on se connecte en SSH au serveur. Les opérations décrites ci-après ont été effectuées sur un serveur Debian 9 (Stretch). Debian utilise des fichiers à deux emplacements : pour un affichage dynamique à /etc/update-motd.d/ : les fichiers de ce dossier sont appelés dans l'ordre alphabétique. Ce sont des scripts bash ; pour un affichage statique dans le fichier /etc/motd, un simple fichier texte.

Installer un serveur web sur Windows à la main (sans WampServer)

18 juillet 2018

Installation d'Apache, MySQL, PHP et phpMyAdmin sous Windows sans s'emcombrer avec WampServer. On utilisera le sympathique gestionnaire Chocolatey !

Les premiers documents

20 avril 2018

Bienvenue Ce site a pour unique vocation, pour l'instant, de mettre à disposition des documents PDF que j'ai écrits en LaTeX. Ce site a été créé grâce au générateur de sites statiques Nikola.