J'ai commencé à utiliser la console Linux il y a longtemps mais je ne me suis jamais interrogé sur le caractère circonflex aka caret ( ^). Je voudrais demander pourquoi il est utilisé pour remplacer le mot Ctrl.
J'y ai pensé l'autre jour alors que j'utilisais nano et j'ai également cherché s'il y avait des réponses sur Internet mais ce que j'ai trouvé n'était que des questions sur "ce que c'est" et "ce qu'il représente".
Y a-t-il des raisons historiques? Ou cela vient-il d'une convention étrange?
3/ #), ^pourrait être un raccourci visuel pour un type différent de «décalage», pour ainsi dire. Le fait que pour la plupart des touches / caractères saisissables, Ctrl désactive simplement le 64 bits du caractère peut également être lié - ^étant un raccourci pour NOT (0x40).
vi(au moins celui de SunOS 3.5) utilisait un caret / circonflexe devant les lettres pour reprécents que ctrl-C, ctrl-V, etc. lesttyfaisaient et le font aussi. D'un autre côté,^fonctionnait comme synonyme de|scripts shell à cette époque, vous auriez donc toujours à faire une barre oblique inverse dans lessttyinvocations. Bonne question.