111 posts
Location
here
Posted 01 July 2016 - 05:19 PM
Hello there!
So, I'm trying to download a file, I can use pastebin for that, but I need to download some sources from webpages, for example, GitHub. I don't want a GitHub downloader, I want to download the page source and save it into a file.
Thanks
~ thecrimulo
3057 posts
Location
United States of America
Posted 01 July 2016 - 05:44 PM
Try the wget program.
111 posts
Location
here
Posted 01 July 2016 - 08:55 PM
It errors for me. event = "key_up", eUrl = 28, content=""
477 posts
Location
Germany
Posted 05 July 2016 - 04:31 PM
What? This is strange. Could you post a link to what you are trying to download?
256 posts
Posted 05 July 2016 - 06:33 PM
It errors for me. event = "key_up", eUrl = 28, content=""
if it helps, you need to pass in a URL like this (though this is probably unrelated to your error):
https://raw.githubusercontent.com/user/repo/branch/file.ext
111 posts
Location
here
Posted 05 July 2016 - 06:33 PM
I was testing with two pages,
https://google.com, a complex one and unindented, and
https://example.org, which is simple and indented
256 posts
Posted 05 July 2016 - 06:36 PM
I was testing with two pages,
https://google.com, a complex one and unindented, and
https://example.org, which is simple and indented
exactly what command were you typing?
111 posts
Location
here
Posted 05 July 2016 - 06:37 PM
I was testing with two pages,
https://google.com, a complex one and unindented, and
https://example.org, which is simple and indented
256 posts
Posted 05 July 2016 - 06:38 PM
I was testing with two pages,
https://google.com, a complex one and unindented, and
https://example.org, which is simple and indented
exactly what command were you typing?
111 posts
Location
here
Posted 05 July 2016 - 06:44 PM
256 posts
Posted 05 July 2016 - 06:54 PM
then that's a problem with the program itself