Pourquoi les pages de manuel Unix utilisent-elles des doubles guillemets au lieu de guillemets?

J'ai remarqué que les pages de manuel et autres documents formatés par les utilitaires Unix utilisent souvent des doubles tiroirs doubles ``suivis de guillemets simples ''pour envelopper les phrases entre guillemets au lieu du caractère guillemet double ". Les guillemets simples sont pareillement remplacés. Pourquoi est-ce?

Voici quelques exemples tirés de la page de manuel de grep:

 To find all occurrences of the pattern `.Pp' at the beginning of a line:

       $ grep '^\.Pp' myfile

 The apostrophes ensure the entire expression is evaluated by grep instead
 of by the user's shell.  The caret `^' matches the null string at the
 beginning of a line, and the `\' escapes the `.', which would otherwise match
 any character.

 The grep utility is compliant with the IEEE Std 1003.1-2008 (``POSIX.1'')
 specification.

La sémantique et les glyphes habituels de ces caractères ont changé (plusieurs fois) au cours des 50 dernières années.

Les prédécesseurs de six bits de l’ASCII contenaient divers caractères polyvalents, y compris un seul caractère semblable à une citation, qui était utilisé pour tout ce qui ressemblait à une citation: citation d’ouverture, citation de fermeture, apostrophe ou (par surimpression) aiguë ou accent grave.

ASCII a introduit un autre caractère semblable à une citation. Nous en avons maintenant un ', qui était utilisé comme apostrophe, citation de clôture et accent aigu, et `qui était utilisé comme citation d’ouverture ou accent grave (les glyphes de béton différaient selon les polices).

Pour une raison étrange, ISO-8859-1 a déclaré 'être une citation non orientée ou apostrophe, `un accent grave, ajouté un accent supplémentaire ´(accent aigu) et la surimpression supprimée (de sorte que les marques d'accent isolées étaient désormais totalement inutiles). . Des extensions ultérieures (pages de code MS-Windows et Unicode) ont résolu ce problème en introduisant de nouveaux caractères de citation dirigée et en combinant des accents.

Ce que vous voyez ici est essentiellement un vestige des temps ASCII, lorsque la plupart des polices avaient des glyphes appariés (inclinés et / ou bouclés) pour 'et `.

Une telle sortie est générée par makeinfodes sources Texinfo . Texinfo peut également générer des rendus vers d'autres formats tels que PDF , il doit donc être plus expressif que l'ASCII. Peut-être pour éviter de jeter la sémantique, makeinfoencode les guillemets de cette façon, afin que vous puissiez voir ce qui est ouvert ou fermé.

Exemple: Si vous ne pouviez pas voir la différence, j'imagine que je serais un peu déroutant si vous écriviez des sources Texinfo et que vous vous fiez à la différence de devis, car vous l'auriez prévisualisé au format PDF. Parce que tu n'as jamais rendu avec makeinfo, tu ne découvrirais jamais que ce n'est pas lisible, rendu comme ça.