|
Viewing Issue Simple Details
[ Jump to Notes ]
|
[ Issue History ]
[ Print ]
|
|
ID |
Category |
Severity |
Type |
Date Submitted |
Last Update |
|
0001703 |
[Issue 8 drafts] Shell and Utilities |
Editorial |
Enhancement Request |
2023-05-07 13:12 |
2024-06-11 09:12 |
|
|
Reporter |
rillig |
View Status |
public |
|
|
Assigned To |
|
|
Priority |
normal |
Resolution |
Accepted |
|
|
Status |
Closed |
|
Product Version |
Draft 3 |
|
|
Name |
Roland Illig |
|
Organization |
|
|
User Reference |
|
|
Section |
ls, make |
|
Page Number |
several |
|
Line Number |
several |
|
Final Accepted Text |
|
|
|
Summary |
0001703: Replace at-sign with <commercial-at> |
|
Description |
Lines 104749 and 104753 describe structurally same characters but look differently:
> contains an at-sign
> contains a <plus-sign>
Since both refer to characters, they should both use angle quotes.
Section 6.1 'Portable Character Set' lists the official name for '@' as 'commercial-at'.
That name should be used in the few places where the '@' is used in utilities. (I only found it in ls and make.) |
|
Desired Action |
Replace 'at-sign' with the standard cross reference for characters, of the form:
<commercial-at> ('@') |
| Tags |
applied_after_i8d3, issue8 |
|
|
Attached Files |
|
|
|
Relationships 
