Periksa apakah string cocok dengan regex dalam skrip Bash

Salah satu argumen bahwa script saya menerima adalah tanggal dalam format berikut: yyyymmdd.

Saya ingin memeriksa apakah saya mendapatkan tanggal yang valid sebagai input.

Bagaimana saya bisa melakukan ini? Saya mencoba menggunakan regex seperti:[0-9]\{\8}

Anda dapat menggunakan konstruksi uji [[ ]],, bersama dengan operator pencocokan ekspresi reguler =~,, untuk memeriksa apakah string cocok dengan pola regex.

Untuk kasus spesifik Anda, Anda dapat menulis:

[[ $date =~ ^[0-9]{8}$ ]] && echo "yes"

Atau lebih banyak tes yang akurat:

[[ $date =~ ^[0-9]{4}(0[1-9]|1[0-2])(0[1-9]|[1-2][0-9]|3[0-1])$ ]] && echo "yes"
#           |^^^^^^^^ ^^^^^^ ^^^^^^  ^^^^^^ ^^^^^^^^^^ ^^^^^^ |
#           |   |     ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^ |
#           |   |          |                   |              |
#           |   |           \                  |              |
#           | --year--   --month--           --day--          |
#           |          either 01...09      either 01..09     end of line
# start of line            or 10,11,12         or 10..29
#                                              or 30, 31

Artinya, Anda bisa mendefinisikan regex di Bash yang cocok dengan format yang Anda inginkan. Dengan cara ini Anda dapat melakukan:

[[ $date =~ ^regex$ ]] && echo "matched" || echo "did not match"

di mana perintah setelah &&dieksekusi jika tes berhasil, dan perintah setelah ||dijalankan jika tes tidak berhasil.

Catatan ini didasarkan pada solusi oleh Aleks-Daniel Jakimenko di verifikasi format tanggal input Pengguna di bash .

Di shell lain Anda dapat menggunakan grep . Jika shell Anda kompatibel dengan POSIX, lakukan

(echo "$date" | grep -Eq  ^regex$) && echo "matched" || echo "did not match"

Pada ikan , yang tidak sesuai dengan POSIX, Anda bisa melakukannya

echo "$date" | grep -Eq "^regex\$"; and echo "matched"; or echo "did not match"

Dalam bash versi 3 Anda dapat menggunakan operator '= ~':

if [[ "$date" =~ ^[0-9]{8}$ ]]; then
    echo "Valid date"
else
    echo "Invalid date"
fi

Referensi: http://tldp.org/LDP/abs/html/bashver3.html#REGEXMATCHREF

CATATAN: Kutipan dalam operator yang cocok dalam kurung ganda, [[]], tidak lagi diperlukan pada Bash versi 3.2

Cara yang baik untuk menguji apakah string adalah tanggal yang benar adalah dengan menggunakan tanggal perintah:

if date -d "${DATE}" >/dev/null 2>&1
then
  # do what you need to do with your date
else
  echo "${DATE} incorrect date" >&2
  exit 1
fi

dari komentar: orang dapat menggunakan format

if [ "2017-01-14" == $(date -d "2017-01-14" '+%Y-%m-%d') ] 

Saya akan menggunakan expr matchsebagai gantinya =~:

expr match "$date" "[0-9]\{8\}" >/dev/null && echo yes

Ini lebih baik daripada jawaban yang saat ini diterima menggunakan =~karena =~juga akan cocok dengan string kosong, yang seharusnya tidak IMHO. Misalkan badvartidak didefinisikan, lalu [[ "1234" =~ "$badvar" ]]; echo $?memberi (salah) 0, sambil expr match "1234" "$badvar" >/dev/null ; echo $?memberikan hasil yang benar 1.

Kita harus menggunakan >/dev/nulluntuk menyembunyikan expr match's nilai output , yang merupakan jumlah karakter cocok atau 0 jika tidak ada kecocokan ditemukan. Perhatikan nilai outputnya berbeda dari status keluarnya . Status keluar adalah 0 jika ada kecocokan yang ditemukan, atau 1 jika tidak.

Secara umum, sintaks untuk expradalah:

expr match "$string" "$lead"

Atau:

expr "$string" : "$lead"

di mana $leadekspresi reguler. Itu exit statusakan benar (0) jika leadcocok dengan irisan terkemuka string(Apakah ada nama untuk ini?). Misalnya expr match "abcdefghi" "abc"keluar true, tetapi expr match "abcdefghi" "bcd"keluar false. (Kredit ke @Carlo Wood karena menunjukkan ini.

Jika penggunaan regex dapat membantu untuk menentukan apakah urutan karakter suatu tanggal benar, itu tidak dapat digunakan dengan mudah untuk menentukan apakah tanggal tersebut valid. Contoh berikut akan melewati ekspresi reguler, tetapi semua tanggal tidak valid: 20180231, 20190229, 20190431

Jadi jika Anda ingin memvalidasi jika string tanggal Anda (sebut saja datestr) dalam format yang benar, yang terbaik untuk menguraikannya datedan meminta dateuntuk mengubah string ke format yang benar. Jika kedua string identik, Anda memiliki format dan tanggal yang valid.

if [[ "$datestr" == $(date -d "$datestr" "+%Y%m%d" 2>/dev/null) ]]; then
     echo "Valid date"
else
     echo "Invalid date"
fi