Mon setup WSL de fin 2021
Ouais, parce que pourquoi pas, voici un gros refresh de ce que j’avais pu présenter y’a deux ans. Ce qui change, ce qui ne change […]
Suite ȃtiquette : shell
Powerline.bash, le retour !
Pour ceux qui lisent le blog depuis un moment, vous savez que j’utilise Powerline pour décorer mon shell, ainsi que celui de mes machines virtuelles […]
Suite »
Quelques astuces diverses, quatorzième
Au delà de mon absence prolongée d’Octobre, cela faisait longtemps que je n’avais pas partagé de nouvelles bidouilles. Et c’est une fournée presque entièrement centrée […]
Suite »
Quelques astuces diverses, neuvième
Certaines des astuces que je partage dans cette série sont anciennes, juste je n’avais pas pensé à les poser là avant, ou bien je viens […]
Suite »
Décryptage d’une commande « compliquée » sous Linux
Le shell est un outil très puissant, mais qui fait peur, parce qu’il parait souvent très compliqué. Aujourd’hui, je vous propose de faire un pas […]
Suite »
Une corbeille pour la ligne de commande ? C’est possible
Il est une caractéristique particulière qu’il ne faut jamais négliger avec la ligne de commande sous Linux : chaque suppression de fichier est directe, définitive […]
Suite »
Récupérer des infos techniques sur la Freebox V5/Crystal
L’astuce d’aujourd’hui va vous permettre de faire un peu de statistiques sur votre ligne ADSL/VDSL Free. En effet, sur le modèle V5/Crystal de « box » les […]
Suite »
Un bash aux petits oignons
J’ai déjà abordé le fichier de configuration .bashrc qui se trouve à la racine du dossier utilisateur. J’y ai notamment ajouté du git, et de […]
Suite »