shell: кончается ли имя директории на / ?

if expr "$DIR" : ".*/\$"; then ...

if [[ "$dir" =~ '/$' ]]; then
  echo "end with /"
fi

>if expr "$DIR" : ".*/\$"; then ...

Спасибо, работает. Как раз про expr и не знал. Только один вопрос: слеши местами поменять не нужно? Экранирующим же является обратный слеш. Хотя работает и так, и так.

>if [[ "$dir" =~ '/$' ]]; then
>  echo "end with /"
>fi

А что в данном случае означает тильда?

man bash
/regex

не надо - экранируется не слеш, а $ (который в неэкранированном виде предпологает последующую переменную)

Pattern not found

bash v2 или руки

Смотрите man по bash v3, в bash v2 вместо

if [[ "$dir" =~ '/$' ]]; then

можно написать

if [[ "$dir" == */ ]]; then

не нужно смотреть man bash

в первом ответе уже дали хорошее, портабельное решение с expr.

Я-то знаю, что это bash v3 :-). Знает ли это автор топика...

Оффтопик, но Lego_12239 и lego_12239 одно лицо? А то я отвечал одному, а мне ответил другой...

> Lego_12239 и lego_12239 одно лицо?

Нет, это разные роботы. Хотя их собрали из одной модели конструктора Lego :)

Спасибо ответившим (ответившим по теме :)

Это я и снова я :-). Сам недавно только узнал.