Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

wget mirror of forums.whatwg.org #118

Merged
merged 1 commit into from
Dec 5, 2017
Merged

Conversation

annevk
Copy link
Member

@annevk annevk commented Dec 2, 2017

I ran the following command:

wget --mirror --page-requisites https://forums.whatwg.org/

I ran the following command:

wget --mirror --page-requisites https://forums.whatwg.org/
@foolip
Copy link
Member

foolip commented Dec 5, 2017

I ran the same command on another machine and got almost the same number of files. I'll merge this so we can iterate.

@foolip foolip merged commit c0b7018 into master Dec 5, 2017
@foolip foolip deleted the annevk/forums.whatwg.org branch December 5, 2017 08:46
foolip added a commit to whatwg/misc-server that referenced this pull request Dec 5, 2017
Static copy was made in whatwg/whatwg.org#118.

Some tricks are needed to make most old URLs work.
foolip added a commit to whatwg/misc-server that referenced this pull request Dec 5, 2017
Static copy was made in whatwg/whatwg.org#118.

Some tricks are needed to make most old URLs work.
foolip added a commit to whatwg/misc-server that referenced this pull request Dec 7, 2017
Static copy was made in whatwg/whatwg.org#118.

Some tricks are needed to make most old URLs work.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants