วิธีการตัดเครื่องหมายทับสุดท้ายของเส้นทางไดเรกทอรี?

ฉันมีสคริปต์ที่ต้องการไดเรกทอรีเป็นหนึ่งอาร์กิวเมนต์ ฉันต้องการที่จะสนับสนุนทั้งสองรูปแบบ: หนึ่งเหมือน

a/b/c

(ไม่มีฟันแทงตอนท้าย) และอีกอันก็เหมือน

 a/b/c/

(มีเครื่องหมายทับที่ท้าย)

คำถามของฉัน: ด้วยรูปแบบใดรูปแบบหนึ่งทั้งสองฉันจะเปลี่ยนรูปแบบแรกให้เป็นแบบเดิมได้อย่างไรและตัดเครื่องหมายสแลชสุดท้ายของรูปแบบที่สองเพื่อแปลงเป็นรูปแบบแรก

dir=${1%/}

จะใช้พารามิเตอร์ตัวแรกของสคริปต์และลบเครื่องหมายสแลชต่อท้ายหากมี

หากต้องการลบเครื่องหมายสแลชต่อท้ายหากมีอยู่คุณสามารถใช้การขยายพารามิเตอร์การกำจัดส่วนต่อท้ายที่มีอยู่ในเชลล์สไตล์ POSIX ทั้งหมด:

x=${x%/}

มีภาวะแทรกซ้อนเล็กน้อย สิ่งนี้จะลบเครื่องหมายสแลชเดียวเท่านั้นดังนั้นหากคุณเริ่มต้นด้วยa/b/c//คุณจะยังคงอยู่กับสแลช นอกจากนี้หากเส้นทางเดิมคือ/คุณจะต้องเก็บไว้ทับ นี่คือวิธีแก้ปัญหาที่ซับซ้อนมากขึ้นซึ่งดูแลกรณีเหล่านี้:

case $x in
  *[!/]*/) x=${x%"${x##*[!/]}"};;
  *[/]) x="/";;
esac

อีกวิธีหนึ่งคือ ksh หรือ bash หลังจากshopt -s extglob:

[[ x = *[!/] ]] || x=${x%%*(/)}

โปรดทราบว่าในหลายกรณีมันไม่สำคัญว่าจะมีเครื่องหมายทับ มันจะมีความหมายถ้าอาร์กิวเมนต์เป็นลิงก์สัญลักษณ์ไปยังไดเรกทอรี: ด้วยเครื่องหมายทับท้ายอาร์กิวเมนต์จะกำหนดไดเรกทอรีในขณะที่ไม่มีเครื่องหมายทับท้ายอาร์กิวเมนต์จะกำหนดลิงก์สัญลักษณ์เอง นอกจากนี้ยังมีความสำคัญกับโปรแกรมอื่น ๆ ไม่กี่ตัวอย่างเช่นอาร์กิวเมนต์แหล่งที่มาของrsyncการได้รับการปฏิบัติที่แตกต่างกันขึ้นอยู่กับการปรากฏตัวของต่อท้ายทับ

realpathแก้ไขเส้นทางที่กำหนด เหนือสิ่งอื่นใดมันยังลบเครื่องหมายสแลช ใช้-sเพื่อป้องกันการเชื่อมโยงต่อไปนี้

DIR=/tmp/a///
echo $(realpath -s $DIR)
# output: /tmp/a