[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: URL-Name in einen Dateinamen umwandeln



Christian Brabandt schrieb:
> chrisbra t41:~/awk [1046]% echo ${url##*/}
> darauf_kommt_es_an.html

Nett, wo hast du die Idee denn her? Weder mein echo noch meine echo
Funktion von der Shell haben das irgendwo dokumentiert.

-- 
Stefan Bauer -----------------------------------------
PGP: E80A 50D5 2D46 341C A887 F05D 5C81 5858 DCEF 8C34
-------- plzk.de - Linux - because it works ----------


Reply to: