10 replies to this topic

[thecrimulo]

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

[KingofGamesYami]

Try the wget program.

[thecrimulo]

It errors for me. event = "key_up", eUrl = 28, content=""

[Luca_S]

What? This is strange. Could you post a link to what you are trying to download?

[Lemmmy]

thecrimulo, on 01 July 2016 - 07:55 PM, said:

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.githubus...branch/file.ext

[thecrimulo]

I was testing with two pages, https://google.com, a complex one and unindented, and https://example.org, which is simple and indented

[Lemmmy]

thecrimulo, on 05 July 2016 - 05:33 PM, said:

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?

[thecrimulo]

I was testing with two pages, https://google.com, a complex one and unindented, and https://example.org, which is simple and indented

[Lemmmy]

thecrimulo, on 05 July 2016 - 05:37 PM, said:

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?

[thecrimulo]

I'm on a server with a version that doesn't have builtin wget, so i tried http://www.computercraft.info/forums2/index.php?/topic/22036-wget-program-file-downloader-gui-much-wow/

[Lemmmy]

thecrimulo, on 05 July 2016 - 05:44 PM, said:

I'm on a server with a version that doesn't have builtin wget, so i tried http://www.computercraft.info/forums2/index.php?/topic/22036-wget-program-file-downloader-gui-much-wow/

then that's a problem with the program itself