 Notes |
(0004950)
agadmin (administrator)
2020-08-28 19:00
|
I made layout changes to mirror the pdf version. I think the bug wants further changes. Note the download bundles have not yet been updated. |
|
(0004951)
rillig (reporter)
2020-08-28 20:38
|
Thank you, that looks much better now.
At the bottom of the table, the example looks as if basename() had to trim spaces. This looks unintended. Furthermore, the space before "test" is missing on the right side, but it is there on the left side. |
|
(0004954)
agadmin (administrator)
2020-08-29 07:12
|
I'll need some interpretation of what the last line in the table is as its unclear from the document source and pdf output
Is it
"/home/dwc// test"
or
"/home/dwc//
test"
or
"home/dwc//test" |
|
(0004961)
geoffclare (manager)
2020-09-01 08:27
|
Column 1 in the last line should contain "home/dwc//test" (same as column 4 except for the quotes). |
|
(0004962)
geoffclare (manager)
2020-09-01 08:27
|
I agree with the request in the Desired Action to change «""» to «empty string» but this needs to change in the PDF and therefore can't be handled in the "Online Pubs" project.
I suggest that once the table formatting has been dealt with, we move this bug to the Issue7+TC2 project to address this other change. |
|
(0004964)
agadmin (administrator)
2020-09-01 18:39
|
I have now updated the table formatting. I have still to update the download bundles |
|
(0004965)
agadmin (administrator)
2020-09-02 05:38
|
The download bundles have been updated |
|
(0004966)
geoffclare (manager)
2020-09-02 08:53
|
I have moved this bug from Online Pubs to Issue7+TC2.
Proposed change ...
On page 625 line 21588 section basename(), change column 4 from:""
to:empty string
|
|
2020-08-28 14_22_07-basename.png [^] (23,189 bytes) 2020-08-28 12:24 
