Perhaps:
wget "url"| basename
might only leave the file name on disk stripped of the url prefix and that's 
something I haven't yet tried though if it works it will be useful here too.


Reply via email to