Ekstrak nama file dasar dari URL menggunakan bash

14

url=http://www.foo.bar/file.ext; echo ${url##/*}

Saya mengharapkan kode ini untuk dicetak file.ext, tetapi ia mencetak seluruh URL. Mengapa? Bagaimana saya bisa mengekstrak nama file?

shell string

— ManuelSchneid3r
sumber

Oke, saya mengharapkan hal-hal yang salah terjadi. Yah saya ingin mengekstrak file.ext

— ManuelSchneid3r

Anda mencoba memotong ujung talinya? Coba dirname $url. Atau grep -o 'http://[^/]*' <<<$url.

— Kevin

27

Karena kata harus cocok dengan string yang harus dipangkas. Seharusnya terlihat seperti:

url="http://www.foo.bar/file.ext"; echo "${url##*/}"

Terima kasih derobert, Anda mengarahkan saya ke arah yang benar.

— ManuelSchneid3r
sumber

Hah, kami sama-sama menyadari hal itu. Senang bisa membantu.

— derobert

10

Mengutip halaman manual:

${parameter##word}
   Remove matching prefix pattern.  The word is expanded to produce
   a pattern just as in pathname expansion.  If the pattern matches
   the  beginning of the value of parameter, […]

/*tidak cocok dengan awal, karena URL Anda dimulai dengan htidak /.

Cara sepele untuk melakukan apa yang Anda cari (sesuai komentar Anda) adalah echo "$url" | rev | cut -d / -f 1 | rev. Tapi tentu saja, itu akan memberikan hasil yang menarik untuk URL yang diakhiri dengan garis miring.

Cara lain untuk melakukan apa yang Anda inginkan adalah menggunakan pola */.

— derobert
sumber

Senang Anda memberi penjelasan tentang apa yang perlu dilakukan dan kutipan dari halaman manual adalah nilai tambah yang besar! Itu banyak membantu saya! Terima kasih lagi! :)

— Fadi

5

basename(1) juga berfungsi dengan URL, sehingga Anda bisa melakukannya:

url=http://www.foo.bar/file.ext; basename $url

— Frank Zdarsky
sumber

4

Lihat juga: Bash Extended Globbing , meskipun dalam hal ini glob yang luas tidak penting.

 shopt -s extglob; url=http://www.foo.bar/file.ext; echo ${url##+(*/)}

Keluaran: file.ext

— Peter.O
sumber