gnome-doc-tool crashes when converting .page files
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-doc-utils (Ubuntu) |
New
|
Low
|
Unassigned |
Bug Description
Binary package hint: gnome-doc-utils
I have recently been attempting to export the documentation (created using Mallard) of a project on which I have been working to html using gnome-doc-utils but gnome-doc-tools consistently fails to convert the .page files, producing the following error:
gnome-doc-tool: 1: Bad substitution
and others leading from it.
This is due to gnome-doc-tool's urlencode and urldecode function making use of a feature specific to the bash shell (c=${arg:$i:1}) to select a character from a string whereas the script's shell is specified as /bin/sh. I have attached a patch which replaces all instances of this by using the standard Unix cut utility which should completely fix this issue.
summary: |
- gnome-doc-tool unable to handle mallard files + gnome-doc-tool crashes when converting .page files |
tags: | added: patch |
Thanks for your work, is that still an issue? Ideally the fix should be sent to GNOME for review