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.

Sign up for GitHub

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

Jump to bottom

Missing files: mapping_url and index_url #398

Closed
LeonardoEmili opened this issue Sep 9, 2021 · 4 comments
Closed

Missing files: mapping_url and index_url #398

LeonardoEmili opened this issue Sep 9, 2021 · 4 comments

Comments

@LeonardoEmili
Copy link

Coming here from #366.

I have used this program some time ago and I noticed that the start script used invalid URLs to fetch the mapping and index files used by Gerbil. As a temporary fix, I suggest updating the script with Leipzig University links that work fine.
I haven't opened any PR that includes the updated links since I don't know if there is any copyright on it, but I can do it if that's okay with you.

Regards,
Leonardo Emili
@MichaelRoeder
Copy link
Member

The start.sh script uses the new URLs and should work without issues.

Do you refer to the run-gerbil.sh script? Or did you encounter old URLs somewhere else?

@LeonardoEmili
Copy link
Author

Yes, the only broken links that I found are in the script run-gerbil.sh.

MichaelRoeder added a commit that referenced this issue Sep 20, 2021
@MichaelRoeder
Removed deprecated run-gerbil.sh script. Closes #398
dcb8697
@MichaelRoeder
Copy link
Member

The run-gerbil.sh will become obsolete with PR #396

@LeonardoEmili
Copy link
Author

Okay, I will close the issue since the problem is solved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@MichaelRoeder @LeonardoEmili