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. lestty
faisaient 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 lesstty
invocations. Bonne question.