แตกชื่อไฟล์ฐานจาก URL โดยใช้ bash

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

ฉันคาดว่ารหัสนี้จะพิมพ์file.extแต่พิมพ์ URL ทั้งหมด ทำไม? ฉันจะแยกชื่อไฟล์ได้อย่างไร

เพราะคำต้องตรงกับสายที่จะตัดแต่ง ควรมีลักษณะดังนี้:

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

ขอบคุณ Derobert คุณพาฉันไปในทิศทางที่ถูกต้อง

วิธีอ้างอิง manpage:

${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, […]

/*ไม่ตรงกับจุดเริ่มต้นเพราะ URL ของคุณเริ่มต้นด้วยไม่ได้h/

วิธีที่น่ารำคาญที่จะทำสิ่งที่คุณกำลังมองหา (ตามความคิดเห็นของคุณ) echo "$url" | rev | cut -d / -f 1 | revเป็น แต่แน่นอนว่าจะให้ผลลัพธ์ที่น่าสนใจสำหรับ URL ที่ลงท้ายด้วยเครื่องหมายทับ

อีกวิธีในการทำสิ่งที่คุณต้องการอาจใช้รูปแบบ*/แทน

basename(1) ทำงานกับ URL ได้เช่นกันดังนั้นคุณสามารถทำได้:

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

ดูเพิ่มเติม: Bash Extended Globbingแม้ว่าในกรณีนี้ glob แบบขยายไม่จำเป็น

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

เอาท์พุท: file.ext