in my dream.

However anyway, I can use this one-liner to accomplish the most frequently used action with wget and curl:

python -c "url=''; import urllib; open(url.split('/')[-1], 'wb').write(urllib.urlopen(url).read())"

Just replace the url string as you wish.


This could be a better version:

python -c "import urllib, sys; open(sys.argv[1].split('/')[-1],'wb').write(urllib.urlopen(sys.argv[1]).read())"
Posted by yungyuc at 14:43, 0 comment, 0 trackback.
Change to page (10 entries in each page): 1
© hover year to navigate month: powered by django