Développeur : brancher son éditeur de texte

La page /developpeur

Le mode développeur ouvre une porte de plus dans votre barre de gauche, et rien d'autre. Il n'accorde aucun droit : ce qu'il vous laisse lire depuis votre éditeur de texte est exactement ce que vous lisez déjà depuis l'écran, ni un document de plus, ni un espace de plus.

L'allumer

Dans Paramètres, la case Mode développeur. Elle est éteinte sur un compte neuf, et elle ne se règle que pour vous : votre voisin ne verra pas le menu apparaître chez lui. Votre entreprise peut avoir refermé cette possibilité pour tout le monde ; dans ce cas la case le dit, et rien ne s'allume.

La clé de ce poste

Une clé par machine, nommée : « portable », « poste du bureau ». Elle ne s'affiche qu'une fois, au moment où vous la frappez. Ce n'est pas une maladresse d'affichage : le produit n'en garde que l'empreinte, et c'est ce qui donne un sens à la révocation. Si l'on pouvait relire une clé, la couper ne voudrait rien dire pour qui l'a déjà lue.

• Perdue ? On en frappe une autre et l'on coupe l'ancienne.
• Huit clés vivantes au maximum : au-delà, on ne les révoque plus, on les accumule, et un trousseau qu'on ne relit pas ne se coupe pas.
• Une clé coupée s'arrête au coup suivant, sans délai.

L'épreuve de liaison

Recollez la clé et demandez l'épreuve : vert ou rouge, tout de suite. Elle n'engage rien, pas de jetons consommés, aucune donnée déplacée. Son verdict porte sa date et se périme au bout de vingt et une heures : un « vert » de la semaine dernière ne dit plus rien de vrai.

Ce que votre éditeur peut faire

Trois outils, en lecture seulement : chercher dans le corpus, rappeler votre mémoire, lister les documents. Aucun n'écrit, aucun n'administre quoi que ce soit. Une clé rangée dans un fichier de configuration, sur une machine qu'on emporte, ne doit pas pouvoir suspendre un compte.