Bagaimana cara memeriksa ekstensi nama file dalam skrip bash?

Saya menulis skrip membangun malam di bash.
Semuanya baik-baik saja dan keren kecuali untuk satu hambatan kecil:

#!/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;

Masalah saya adalah menentukan ekstensi file dan kemudian bertindak sesuai. Saya tahu masalahnya ada di pernyataan if, menguji file txt.

Bagaimana saya bisa menentukan apakah suatu file memiliki akhiran .txt?

Saya pikir Anda ingin mengatakan "Apakah empat karakter terakhir dari $ file sama dengan .txt?" Jika demikian, Anda dapat menggunakan yang berikut ini:

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

Perhatikan bahwa ruang antara file:dan -4diperlukan, karena pengubah ': -' berarti sesuatu yang berbeda.

Membuat

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

seperti ini:

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

Yaitu, kurung ganda dan tidak ada tanda kutip.

Sisi kanan ==adalah pola shell. Jika Anda memerlukan ekspresi reguler, gunakan =~kemudian.

Anda tidak bisa memastikan pada sistem Unix, bahwa file .txt benar-benar file teks. Taruhan terbaik Anda adalah menggunakan "file". Mungkin coba gunakan:

file -ib "$file"

Kemudian Anda dapat menggunakan daftar tipe MIME yang cocok atau parsing bagian pertama MIME di mana Anda mendapatkan barang-barang seperti "teks", "aplikasi", dll.

Anda dapat menggunakan perintah "file" jika Anda benar-benar ingin mengetahui informasi tentang file daripada mengandalkan ekstensi.

Jika Anda merasa nyaman menggunakan ekstensi, Anda dapat menggunakan grep untuk melihat apakah ekstensi cocok.

Anda juga bisa:

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

Mirip dengan 'file', gunakan 'mimetype -b' yang sedikit lebih sederhana yang akan berfungsi apa pun ekstensi file.

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

Sunting: Anda mungkin perlu menginstal libfile-mimeinfo-perl pada sistem Anda jika mimetype tidak tersedia

Jawaban yang benar tentang bagaimana mengambil ekstensi yang tersedia dalam nama file di linux adalah:

${filename##*\.} 

Contoh pencetakan semua ekstensi file dalam direktori

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

Saya menulis skrip bash yang melihat jenis file kemudian menyalinnya ke lokasi, saya menggunakannya untuk melihat melalui video yang saya tonton online dari cache firefox saya:

#!/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"&

Ini menggunakan ide yang mirip dengan yang disajikan di sini, semoga ini bermanfaat bagi seseorang.

Saya kira itu '$PATH_TO_SOMEWHERE'seperti sesuatu '<directory>/*'.

Dalam hal ini, saya akan mengubah kode ke:

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

Jika Anda ingin melakukan sesuatu yang lebih rumit dengan direktori dan nama file teks, Anda dapat:

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

Jika Anda memiliki spasi pada nama file Anda, Anda dapat:

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