[Script Bash] Share bashrc between Git Bash and Ubuntu Bash on Windows 10

Hello all, This is my first post in English and I hope it will be written in a correct English. So, my apologies for the possible mistakes. Today, I’d like to share with you my small trick for using the same .bashrc file in Git Bash and in Ubuntu Bash. That’s allow me to switch … Lire la suite[Script Bash] Share bashrc between Git Bash and Ubuntu Bash on Windows 10

[Script Bash] Vérifier si le fichier/dossier existe

De temps à autre, il est utile de vérifier si un fichier existe afin de pouvoir l’utiliser et/ou le modifier ou le créer s’il n’existe pas encore. Pour ce faire, une méthode. if [ -f <chemin_du_fichier> ] qui retourne « true » si le fichier existe ( en tant que fichier normal et non en tant que … Lire la suite[Script Bash] Vérifier si le fichier/dossier existe

[Script Bash] Opérateurs de comparaison de nombres

Alors qu’on pourrait croire que pour comparer deux nombres en bash, il suffirait de faire if [x > 3] …, il n’en est rien ! En bash, on utilise des opérateurs spéciaux pour ce genre d’opérations. Pour comparer des entiers, voici ce qu’il faut mettre : -eq   =>   est égal à if [ … Lire la suite[Script Bash] Opérateurs de comparaison de nombres