ディレクトリ名の末尾にスラッシュを付けることは良い習慣ですか？

bashスクリプトのユーザーに、ディレクトリパスを引数として渡すように依頼します。次のうちどれが良いプログラミング習慣ですか？

• ユーザーに末尾の/（スラッシュ）の入力を要求する
• ユーザーが末尾の/（スラッシュ）を入力しないことを要求する

ベストプラクティスはどちらも想定しないことです。

パスビルダーユーティリティ/クラスにアクセスできる場合は、それらを使用します。そうでない場合は、どちらかの形式を受け入れて適切に動作するようにコードを記述します。

末尾にスラッシュを追加するかどうかを覚えておかなければならないことほど、ユーザーにとって煩わしいことはありません。

bashは複数のスラッシュを無視するので、ユーザーがパスの末尾にスラッシュを入力しなかったと想定して、スラッシュを自分で追加することができます。

cat /etc/hosts

同じです

cat /////etc//////////hosts

したがって、スクリプトは次のようになります。

echo -n "enter path: "
read path
if [ -f $path/myfile ]
then
  echo "found myfile!"
else
  echo "nope"
fi

ユーザーがパスの末尾に/を入力するかどうかを心配する必要はありません。

故ジョン・ポステルは、ここで適用されるRFC 760のセクション3.2でいくつかの素晴らしいアドバイスをしました：

一般に、実装は送信動作では保守的であり、受信動作では自由でなければなりません。つまり、整形式のデータグラムを送信するように注意する必要がありますが、解釈できるデータグラムはすべて受け入れる必要があります（たとえば、意味がまだ明確である技術的なエラーに反対しないでください）。

概念的には、スラッシュは名前の一部ではありません。スラッシュは名前の間の区切り文字にすぎません。私のホームディレクトリは/ home / stefan /ではなく、/ home / stefanです。

末尾のスラッシュが予想されない場合でも、ammoQで既に述べたように、スラッシュがあっても失敗しません。ただし、スラッシュを引用符で囲む必要がないため、名前と変数を簡単に結合できます。

a="/home"
b="stefan"

dir=$a/$b

ディレクトリに末尾のスラッシュを付けてはならないことを要求すると、コンソールでのインタラクティブな使用が非常に煩わしくなります。TABを使用した自動補完により、ディレクトリの末尾にスラッシュが自動的に追加されます。

したがって、ディレクトリが末尾のスラッシュで指定されることを許可する必要があります。