Commandes Bash
19 juin 2019
Bash, Français, Rappel, Veille Technologique

Ce document me sert de rappel sur les commandes pour les script en BASH.
Savoir si une chaine de caractères comprends un élément :
# Déclaration d'une chaine ma_chaine="Hello World" # On regarde s'il y a un espace if echo "$machaine" | grep -q ' '; then # Espace trouvé else # Aucun espace trouvé fi
Effectuer un ping sans l’afficher :
# Déclaration d'un lien url="www.google.com" # Option c2 pour réduire la durée du ping ping -c2 -q "$url" > /dev/nul 2>&1 # On récupère la dernière erreur monping=$? # Et on test le résultat if [ $monping -ne 0 ] then # Ping KO else # Ping OK fi
Récupérer une information dans un chemin :
# Dans cet exemple je veux récupérer seulement le mot information de mon chemin # Déclaration du chemin path="/dossier1/dossier2/mon_information/dossier3/" # Récupération du dossier parent # (/dossier1/dossier2/mon_information) dossier_parent="$(dirname "$path")" # Récupération du nom de dossier # (mon_information) nom_dossier="$(basename "dossier_parent")" # Le tout en une ligne nom_dossier="$(basename "$(dirname "$path")")" # Enfin on garde seulement le mot information # (information) mon_info="$( echo "$nom_dossier" | sed 's/mon_/ /g')"