logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 19-11-2017 21:44:02

Spreed
Membre
Inscription : 15-11-2017

Changer la police sous Cinnamon

Vous savez quoi changer dans le menu de police de caractères (Cinnamon sous stretch) pour que ça ressemble un peu plus à celles utilisées sur Windows ? Car actuellement c'est assez illisible et très moche, enfin je m'y fais pas.

Voici ma config de police actuellement :
1511124083-selection-002.png

Merci

Hors ligne

#2 23-11-2017 12:57:38

Caerroff
Membre
Lieu : /home
Distrib. : Arch
Noyau : Linux 6.1.3-arch1-1
(G)UI : KDE
Inscription : 13-08-2017

Re : Changer la police sous Cinnamon

? Ou est le problème ? Tu changes les "Sans Regular" par une police que tu préfère ?

Caerroff big_smile

Hors ligne

#3 23-11-2017 16:30:14

Spreed
Membre
Inscription : 15-11-2017

Re : Changer la police sous Cinnamon

Oui mais laquelle est utilisée sous Windows ? Je me souviens avoir fait la manipulation sous Gnome mais pas la police utilisée

Hors ligne

#4 23-11-2017 16:44:16

chalu
Modératrice
Lieu : Anjou
Distrib. : openSUSE Tumbleweed
Noyau : Linux 5.12
(G)UI : KDE 5.21.4
Inscription : 11-03-2016

Re : Changer la police sous Cinnamon

Bonjour,
Tu as utilisé cinnamon sous Windows ? Tu parles de Gnome ensuite ?

Dernière modification par chalu (23-11-2017 16:44:58)

Hors ligne

#5 23-11-2017 18:15:41

Spreed
Membre
Inscription : 15-11-2017

Re : Changer la police sous Cinnamon

Mon message est pourtant clair scratchhead.gif

Pour simplifier:

Je suis actuellement sous Debian Stretch, avec Cinnamon comme environnement de bureau
Je souhaite changer la police d'écriture pour qu'elle ressemble à celle utilisée sur Windows, qui est plus jolie
Sauf que j'ignore quelle(s) police(s) choisir, y en a beaucoup avec beaucoup d'option différentes
Je demande de l'aide pour savoir quoi choisir
Je l'ai déjà fait sous Gnome auparavant mais les menus semblent différents sur Cinnamon, et je ne me souviens plus quelles polices j'avais choisi

smile

Hors ligne

#6 23-11-2017 18:46:42

chalu
Modératrice
Lieu : Anjou
Distrib. : openSUSE Tumbleweed
Noyau : Linux 5.12
(G)UI : KDE 5.21.4
Inscription : 11-03-2016

Re : Changer la police sous Cinnamon

Ah ben non c'était pas clair mais maintenant c'est bon wink

Edit : sur linuxmint cinnamon les polices du live sont
Police par défaut : Noto Sans Regular 9
Police du bureau : Noto Sans Regular 10
Police des documents : Noto Sans Regular 10
Police à chasse fixe : Monospace regular 10
Police du titre des fenêtres : Noto Sans Bold 10

les paramètres des polices sont les mêmes que toi.

Si tu n'as pas ces polices, tu peux les installer :

apt install fonts-noto


Bon après ce ne sera peut-être pas non plus à ton goût (les goûts et les couleurs...), comme te l'a dit Carreoff il faut que tu testes et choisisses.

Dernière modification par chalu (23-11-2017 19:11:01)

Hors ligne

#7 24-11-2017 09:22:07

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : Changer la police sous Cinnamon

Les polices utilisées sous Windows, les polices présentes ne sont pas libres. Tu ne les retrouveras donc pas sous Debian à moins de les avoir installées. Les polices « libération » sont des polices libres censées remplacer les polices non-libres de microsoft.

Après, les histoires de polices, c'est vraiment une question de goût. Droid sans, Dejavu sans, Noto sans… chacun ses préférences.
Si tu veux vraiment utiliser les polices de windows, il te faudra les récupérer (elles sont interdites à la distribution) ou installer des paquets téléchargeurs comme ttf-mscorefonts-installer .

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#8 24-11-2017 10:57:24

Croutons
Membre
Distrib. : Debian12
Noyau : Linux 6.1.0-13-amd64
(G)UI : Fluxbox(NakeDeb)
Inscription : 16-12-2016

Re : Changer la police sous Cinnamon

Bonjour
Je pense qu'il serait abusé d'aller des polices non libre alors qu'il y a déja trop de choix possible
Peut être n'a tu pas de visualiseur de polices pour faire ton choix
Voici parmi mes marques page -->https://cweiske.de/tagebuch/Linux%20fon … ations.htm

-->les cahiers du debutant<--      WikiDF-->Découvrir les principales commandes Linux<-- 
L' expérience, c'est le nom que chacun donne à ses erreurs. Oscar Wilde

En ligne

Pied de page des forums