cClaude.rocks ☕ Le blog

Il faut distinguer le guillemet dactylographique du guillemet typographique français

Le guillemet dactylographique "

• Il n’a pas d’orientation, une seule forme (ouvrant ou fermant),
• Directement présent sur les claviers d’ordinateur (touche 3),
• Utilisé sur les sites web, blogs, forums etc, mais à éviter,
• À proscrire sur les documents à imprimer.

Le guillemet typographique français « et »

• Deux formes distinctes : guillemet ouvrant « et guillemet fermant »,
• Un espace insécable après le guillemet ouvrant et avant le guillemet fermant,
• Automatiquement créés par les logiciels de traitement de textes,
• À privilégier dans tous les cas d’écrit en français.

Raccourcis claviers

^(*) Configuration sous Linux-Mint Cinnamon

Parce que généralement votre machine Linux ne vous a pas été livrée préinstallée (et préconfigurée), il est assez probable que la configuration par défaut ne corresponde pas exactement à vos attentes ni au standard. D’ailleurs, le simple fait de changer de clavier peut avoir des conséquences sur votre configuration (et ce pas uniquement sur Linux pour le coup).

Voici donc comment configurer l’espace insécable sous Linux-Mint Cinnamon.

Pour pouvoir obtenir un espace insécable au clavier avec le raccourci Alt-Gr + ESPACE, vous devez vous assurer (et donc très probablement changer) dans les paramètres du clavier la configuration suivante :

• Clavier > Onglet Agencement > Bouton Options… (Sur une machine configurée en français)
• Keyboard > Onglet Layout > Bouton Options… (Sur une machine configurée en anglais)

puis à la ligne utiliser la barre d’espacement pour insérer un espace insécable, et cocher la case espace insécable au 3ieme niveau.

• Si souhaiter obtenir un espace insécable (« non-breaking space ») à l’aide de Shift + ESPACE utilisez : espace insécable au 2nd niveau (« Non-breaking space at the 2nd level »)

Signification des « niveaux » (« level »)

Dans l’interface de configuration on aperçoit la notion de « niveau » (« level » sur la version anglaise) et sans doute comme moi, vous vous êtes dit : « WTF » 👻 ! En voici l’explication, et c’est en fait le terme consacré sur l’ensemble des distributions Linux.

Cette notion s’étend à l’ensemble des combinaisons de touches…

Pour aller plus loin…

• Cinnamon (logiciel) description en français sur Wikipedia.
• What happened to the emoji picker from Linux Mint 19?
• More than 4 keymaps…
• 🤬 Why should I not use GSettings overrides?
• Manage user and system settings with dconf
• Documentation RedHat: GSettings and dconf

ᦿ