Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| commandes_utiles [2025/09/28 15:41] – [Faire un diff entre 2 répertoires] tutospisto | commandes_utiles [2025/09/29 19:06] (Version actuelle) – [Ajouter une fonction de recherche au bashrc] tutospisto | ||
|---|---|---|---|
| Ligne 89: | Ligne 89: | ||
| - | ====== Ajouter une fonction de rechercher au bashrc ====== | ||
| - | |||
| - | <code bash> | ||
| - | trouve() { | ||
| - | if [[ -z $2 ]] | ||
| - | then | ||
| - | dossier="/ | ||
| - | else | ||
| - | dossier=$2 | ||
| - | fi | ||
| - | find $dossier -iname " | ||
| - | } | ||
| - | </ | ||