Wyodrębnij podstawową nazwę pliku z adresu URL za pomocą bash

15

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

Spodziewałem się, że ten kod zostanie wydrukowany file.ext, ale wypisze cały adres URL. Dlaczego? Jak mogę wyodrębnić nazwę pliku?

shell string

— ManuelSchneid3r
źródło

Okej, oczekuję, że coś złego się stanie. Cóż, chcę wyodrębnić plik.ext

— ManuelSchneid3r

Próbujesz odciąć koniec sznurka? Spróbować dirname $url. Lub grep -o 'http://[^/]*' <<<$url.

— Kevin

28

Ponieważ słowo musi pasować do ciętego łańcucha. Powinno to wyglądać następująco:

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

Dzięki derobert, poprowadziłeś mnie we właściwym kierunku.

— ManuelSchneid3r
źródło

Hah, oboje zdajemy sobie z tego sprawę w tym samym czasie. Cieszę się, że mogę pomóc.

— derobert

10

Aby zacytować stronę podręcznika:

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

/*nie pasuje do początku, ponieważ Twój adres URL zaczyna się od hnie /.

Trywialny sposób na zrobienie tego, czego szukasz (zgodnie z Twoim komentarzem) to echo "$url" | rev | cut -d / -f 1 | rev. Ale oczywiście da to interesujące wyniki dla adresów URL kończących się ukośnikiem.

Innym sposobem na zrobienie tego, co chcesz, może być użycie wzorca */.

— derobert
źródło

Cieszę się, że wyjaśniłeś, co należy zrobić, a cytat ze strony to ogromny plus! To bardzo mi pomogło! Dzięki jeszcze raz! :)

— Fadi

6

basename(1) działa również z adresami URL, więc możesz po prostu:

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

— Frank Zdarsky
źródło

4

Zobacz także: Bash Extended Globbing , choć w tym przypadku rozszerzony glob nie jest niezbędny.

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

Wynik: file.ext

— Peter.O
źródło