Comment vérifier l'extension d'un nom de fichier dans un script bash?

J'écris un script de construction nocturne en bash.
Tout va bien et dandy sauf un petit hic:

#!/bin/bash

for file in "$PATH_TO_SOMEWHERE"; do
      if [ -d $file ]
      then
              # do something directory-ish
      else
              if [ "$file" == "*.txt" ]       #  this is the snag
              then
                     # do something txt-ish
              fi
      fi
done;

Mon problème est de déterminer l'extension du fichier et d'agir en conséquence. Je sais que le problème est dans l'instruction if, testant un fichier txt.

Comment puis-je déterminer si un fichier a un suffixe .txt?

Je pense que vous voulez dire "Les quatre derniers caractères de $ file sont-ils égaux à .txt?" Si tel est le cas, vous pouvez utiliser les éléments suivants:

if [ ${file: -4} == ".txt" ]

Notez que l'espace entre file:et -4est obligatoire, car le modificateur «: -» signifie quelque chose de différent.

Faire

if [ "$file" == "*.txt" ]

comme ça:

if [[ $file == *.txt ]]

Autrement dit, doubles crochets et pas de guillemets.

Le côté droit ==est un motif de coquille. Si vous avez besoin d'une expression régulière, utilisez =~then.

Vous ne pouvez tout simplement pas être sûr sur un système Unix, qu'un fichier .txt est vraiment un fichier texte. Votre meilleur pari est d'utiliser "fichier". Essayez peut-être d'utiliser:

file -ib "$file"

Ensuite, vous pouvez utiliser une liste de types MIME pour comparer ou analyser la première partie du MIME où vous obtenez des éléments tels que "texte", "application", etc.

Vous pouvez utiliser la commande "fichier" si vous souhaitez réellement obtenir des informations sur le fichier plutôt que de vous fier aux extensions.

Si vous vous sentez à l'aise avec l'utilisation de l'extension, vous pouvez utiliser grep pour voir si elle correspond.

Vous pouvez également faire:

   if [ "${FILE##*.}" = "txt" ]; then
       # operation for txt files here
   fi

Similaire à 'fichier', utilisez le 'mimetype -b' légèrement plus simple qui fonctionnera quelle que soit l'extension du fichier.

if [ $(mimetype -b "$MyFile") == "text/plain" ]
then
  echo "this is a text file"
fi

Edit: vous devrez peut-être installer libfile-mimeinfo-perl sur votre système si mimetype n'est pas disponible

La bonne réponse sur la façon de prendre l'extension disponible dans un nom de fichier sous Linux est:

${filename##*\.} 

Exemple d'impression de toutes les extensions de fichier dans un répertoire

for fname in $(find . -maxdepth 1 -type f) # only regular file in the current dir
    do  echo ${fname##*\.} #print extensions 
done

J'ai écrit un script bash qui regarde le type d'un fichier puis le copie dans un emplacement, je l'utilise pour parcourir les vidéos que j'ai regardées en ligne à partir de mon cache Firefox:

#!/bin/bash
# flvcache script

CACHE=~/.mozilla/firefox/xxxxxxxx.default/Cache
OUTPUTDIR=~/Videos/flvs
MINFILESIZE=2M

for f in `find $CACHE -size +$MINFILESIZE`
do
    a=$(file $f | cut -f2 -d ' ')
    o=$(basename $f)
    if [ "$a" = "Macromedia" ]
        then
            cp "$f" "$OUTPUTDIR/$o"
    fi
done

nautilus  "$OUTPUTDIR"&

Il utilise des idées similaires à celles présentées ici, j'espère que cela sera utile à quelqu'un.

Je suppose que '$PATH_TO_SOMEWHERE'c'est quelque chose comme'<directory>/*' .

Dans ce cas, je changerais le code en:

find <directory> -maxdepth 1 -type d -exec ... \;
find <directory> -maxdepth 1 -type f -name "*.txt" -exec ... \;

Si vous voulez faire quelque chose de plus compliqué avec les noms de répertoire et de fichier texte, vous pouvez:

find <directory> -maxdepth 1 -type d | while read dir; do echo $dir; ...; done
find <directory> -maxdepth 1 -type f -name "*.txt" | while read txtfile; do echo $txtfile; ...; done

Si vous avez des espaces dans vos noms de fichiers, vous pouvez:

find <directory> -maxdepth 1 -type d | xargs ...
find <directory> -maxdepth 1 -type f -name "*.txt" | xargs ...