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

Re: URL-Name in einen Dateinamen umwandeln



Stefan Bauer <stefan.bauer@cubewerk.de> (Di 10 Nov 2009 20:45:17 CET):
> 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.

bash(1) und einfach man nach „##“ suchen.

-- 
Heiko

Attachment: signature.asc
Description: Digital signature


Reply to: