-
Notifications
You must be signed in to change notification settings - Fork 784
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
In javascript docset if...else page not opening #1009
Comments
The same goes for anything that has |
@GoodGuyNick Very similar to my comment on #1010 , you have to rename If my workaround works for you, you can close this issue since both are technically same. Edit: It worked for me after the rename |
For similar problems, you can right click -> copy link and put it in a browser to see if it's valid. If not, there is probably a case mismatch somewhere. Please let me know if it works for you. Tagging @Kapeli here too (since the folder is different in this case) |
@trollixx Could Zeal be changed to be case insensitive? |
@Kapeli The links are simple browser openable |
@Kapeli It's not that Zeal is case-sensitive, but rather that filesystems are case-sensitive. Not really anything Zeal would be able to fix, short of changing how docsets are stored. |
Dash is case insensitive (even on iOS, which has a case sensitive file system). The websites I clone are mostly case insensitive (i.e. http://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements and http://developer.mozilla.org/en-us/docs/web/javascript/reference/statements are the same. As MDN is a Wiki, it contains links of varying cases and my cloner will create the directory structure using the casing it encounters first during traversal. Renaming stuff fixes things on one end, but breaks them on another. Zeal becoming case insensitive is the easiest fix. Parsing the docsets and sanitizing the links so this doesn't happen is the harder fix, but I'd be lying if I said I'd ever do that (I can't allocate a significant amount of time for something that doesn't affect Dash). |
@Kapeli Do you have a syscall that does case insensitive lookups on OSX? How do you open a document without traversing the file tree? How would your parser decide between two files in a docset, |
Dash stores docsets in an archived format, so to load a file it looks up the index of the file within the archive. Zeal can either build an index of all files within the docset and do a case insensitive look up on that index when it needs a file, or it can use the same index Dash uses. The index location/format is:
There might be other ways to do this as well.
|
@nishanthkarthik Thank you for workaround. Now everything works. I think this issue should be closed when discussion about it will end. Or not? |
@GoodGuyNick let's keep it open. We'll probably come up with a permanent fix |
I guess it's time to implement #138... |
I have only experienced this with the JS docset, and only for stuff under the
|
Not only 'Statements' folder, but also 'Global_Objects', 'Operators' and may be others. Seems like there may be many such folders |
Ubuntu 18.04.1, Zeal 0.6.0
Can't open page for
if...else
in javascript docset.The text was updated successfully, but these errors were encountered: