lundi 18 juillet 2022

Quelques commandes utiles avec git

Voici quelques commandes qui me sont très utiles et que j'utilise souvent.

Lire la suite...

samedi 16 janvier 2021

Générer une série d'images aléatoires avec ImageMagick et parallel

Générer 100 images avec ImageMagick et en utilisant toutes les ressources disponibles grâce à parallel :

Lire la suite...

dimanche 11 août 2019

Les raccourcis indispensables pour le terminal

Les terminaux comme le terminal de GNOME Shell offrent de nombreux raccourcis pratiques mais pas forcément intuitifs.

Voici une sélection des plus utiles.

Lire la suite...

jeudi 4 octobre 2018

Bashful, un gestionnaire pour vos commandes

J'ai commencé à utiliser récemment bashful, un outil pour lancer des commandes, scripts, etc. en fournissant un affichage agréable.

Lire la suite...

mercredi 12 septembre 2018

Configurer la ligne de commande git

Voici les réglages globaux que j'utilise dans git.

Lire la suite...

lundi 23 juillet 2018

Créer des fichiers de logs pour les tâches cron

Les tâches cron peuvent échouer pour de nombreuses raisons (erreur de syntaxe, commande non disponible dans le contexte de cron, etc.), l'enregistrement de la sortie des commandes permet d'historiser et d'identifier les erreurs afin de les corriger.

Lire la suite...

lundi 14 novembre 2016

Afficher la branche git dans le prompt du shell fish

Par défaut, le shell fish n'affiche pas la branche git actuelle :

Voici comment l'afficher.

Lire la suite...

mercredi 2 mai 2012

Administrer un serveur sous Linux (Ubuntu)

Voici quelques outils qui m'aident à administrer le PC sous Ubuntu (actuellement la version 12.04) qui me sert de serveur de fichier / NAS.

Lire la suite...

mercredi 8 septembre 2010

Personnaliser l'invite de bash

Les cours de Systèmes que je suis actuellement sont dispensés dans des salles informatiques où les ordinateurs ne disposent pas de fish, mon shell de prédilection. Je ne peux utiliser que le classique bash, souvent le shell par défaut, dont l'utilisation est rendue pénible par l'absence de couleurs :

Bash sans couleurs

Sans couleurs, il est difficile de distinguer les commandes et leurs résultats. Heureusement, bash peut être configuré pour ressembler à fish.

Lire la suite...

dimanche 24 mai 2009

Installer fish, un shell interactif agréable

J'utilise la distribution Linux Ubuntu depuis environ 3 ans. J'utilisais le shell par défaut bash sans savoir qu'on pouvait en utiliser un autre. J'ai découvert le shell fish par hasard en lisant les commentaires d'une nouvelle sur LinuxFr.org, je l'ai installé et l'ai adopté.

Lire la suite...