Existe-t-il un gestionnaire de fichiers graphique qui supporte les vignettes pour Linux comme thunar ou nautilus, ce qui me permet de filtrer un répertoire par une expression régulière. Par exemple, la frappe /home/user/*tex
devrait afficher tous les fichiers tex, ou [AB].*
tous les fichiers commençant par A ou B, etc.
/home/user/*tex
ne s'agit pas d'une expression régulière qui correspond à tous lestex
fichiers. Vous avez probablement confondu l'écriture de shell avec les expressions rationnelles. Votre exemple correspond/home/usertex
,/home/user/tex
,/home/user//tex
, etc. Si vous voulez faire correspondre tous lestex
fichiers de cette manière, l'expression rationnelle serait quelque chose comme/home/user/.*tex
(notez que cela correspondrait à des fichiers TeX dans un sous - répertoire aussi bien).