Commande Basename

Bonjour ,

Dans un script shell,j'aimerais récupérer le nom (sans l'extension) de plusieurs fichiers dont l'extension varie.
Je sais qu'il existe la fonction basename mais comment faire si j'ai des fichiers de la forme toto.txt_1, titi.txt_2 ...
j'ai testé

Code:

---

basename toto.txt_1 ".txt*"

---

mais cela ne fonctionne pas.

Merci

Tu peux le faire en deux étapes :

Code:

---

1 2	nomfic=$(basename toto.txt*) nomfic=${nomfic%.*}

---

ou en une seule

Code:

---

nomfic=$(basename toto.txt* | cut -f 1 -d '.')

---

J'ai résolu mon pb en passant par cette astuce qui ressemble à la première solution proposée

Code:

---

1 2	nom_fc='toto.txt_1' nom_fic=`echo ${nom_fic%%.txt*}`

---

et là il me retourne bien 'toto' !

Merci