Skip to content

Javascript docset broken in linux due to case sensitive filesystem #1252

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

Closed
vvch opened this issue Jul 9, 2020 · 1 comment
Closed

Javascript docset broken in linux due to case sensitive filesystem #1252

vvch opened this issue Jul 9, 2020 · 1 comment

Comments

@vvch
Copy link

vvch commented Jul 9, 2020

Not sure here is a right place to report this, since the problem is in the docset, but may be this problem requires more common solution in the code.

When opening many topics in Zeal for linux, e, g.
javascript:for
there is an error:

Error opening /home/vitaly/.local/share/Zeal/Zeal/docsets/JavaScript.docset/Contents/Resources/Documents/developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/for.html: No such file or directory

Failed to load URL file:///home/vitaly/.local/share/Zeal/Zeal/docsets/JavaScript.docset/Contents/Resources/Documents/developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/for.html.

The reason is that 'Statements/' folder is lowercased in the docset: 'statements/'.
There are several such case mismatches in the docset.

Original docsets are prepared for Dash in Mac OS which uses not case-sensitive filesystem. So case mismatch between link and filename is unnoticeable to Dash users (and even Zeal Windows users), so there are not so many chances for them to be repaired, and many chances that new discrepancies would appear again and again.
Quick fix is to just rename the path, but we will have to do it again and again.

May be it is possible instead in the case of such an error just try to search for the file case-insensitively?

@vvch vvch closed this as completed Jul 9, 2020
@vvch
Copy link
Author

vvch commented Jul 9, 2020

#1009 duplicate

@github-actions github-actions bot locked and limited conversation to collaborators Aug 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

No branches or pull requests

1 participant