Page 2 sur 2

Re: comment avoir une belle police dans le grub ?

Posté : mer. 7 mars 2018 03:57
par alain

Dernier message de la page précédente :

Bonjour Mélissa et DEADMAN57.

@Mélissa:
C'était bien comme tu disais, il faut choisir une police dans les "mono". Mon choix c'est porté sur : "déjàVu Sans Mono Bold Oblique".
C'est pas trop mal, le côté oblique casse un peu le style machine à écrire. Voici ce que ça donne:

Image

Sinon, par rapport à ce que tu disais sur les thèmes de grub, le chemin est identique sur LM et cerise sur le gâteau les thèmes seraient
compatibles d'un système à l'autre du moment qu'ils sont fait pour la même version de grub ;)
J'essayerai ton thème "breeze" sur ma manjaro et peut être sur une LM pour voir. (mais pas cette nuit car il est déjà 04h00 et j'ai encore
4 ventilos a monter sur une tour).

Inutile de te dire que si ça fonctionne bien, j'abandonnerai grub-customizer :l :D

@DEADMAN57:
Merci pour les liens, le sujet concernait uniquement les polices de caractères, mais j'ai trouvé ça marrant de pouvoir faire de la musique
avec le grub. Je l'ai marquetapagé évidemment :D

Je trouve quand même ça bizarre que grub-customizer nous propose 1000 polices alors qu'a peine 5% sont compatibles :roll:

La question de la police de caractère étant réglée pour moi, je clos le sujet.

Encore merci à vous deux ;)

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : mer. 7 mars 2018 11:29
par melissa6969
Holà

ha bin il est joli comme ça ton grub :)
oui la police en italique c'est + joli :P
je crois que grub-customizer te propose les polices que t'as dans ton système, si c'est comme pour le terminal par exemple.

faudra essayer alors sur LM, voir si ça fonctionne ou non.
c'est sur que de se passer de grub-customizer serait pas mal.
en + tu peux aller sur gnome-look, chercher un thème de grub et le modifier à ta sauce, c'est ce que j'ai fais, j'ai pris le thème breeze, et je l'ai modifié, comme ça on a une base toute prête, ce qui simplifie un peu la vie :l

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : mer. 7 mars 2018 21:03
par david37
Un bien joli grub :D

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : mer. 7 mars 2018 21:19
par débitant
Alain a écrit : comment avoir une belle police dans le grub ?
tu fais le 17 et tu auras une police de secours :l :lol: :lol: :arrow: :arrow: :arrow:

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : mer. 7 mars 2018 23:05
par mézig
j'ai pas osé !... :lol:

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : jeu. 8 mars 2018 15:00
par Dickanom
@malissa6969

Super class ton grub..
il faudrait que je m'y intéresse mais touché au grub j'ose pas trop..

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : jeu. 8 mars 2018 19:00
par melissa6969
merci.

quand on modifie le thème du grub, on y fait pas dans le thème d'origine, du coup si ça foire, t'as toujours le thème d'origine, heureusement d'ailleurs ;)
mais avant de se lancer dans ce genre de manip, vaut mieux lire les tutos et/ou wiki, sinon ça peut vite devenir un casse tête de plusieurs heures pour des résultats décevants souvent..

Re: comment avoir une belle police dans le grub ?

Posté : sam. 10 mars 2018 23:56
par DEADMAN57
alain a écrit :Bonjour Mélissa et DEADMAN57.

@Mélissa:
C'était bien comme tu disais, il faut choisir une police dans les "mono". Mon choix c'est porté sur : "déjàVu Sans Mono Bold Oblique".
C'est pas trop mal, le côté oblique casse un peu le style machine à écrire. Voici ce que ça donne:

Image

Sinon, par rapport à ce que tu disais sur les thèmes de grub, le chemin est identique sur LM et cerise sur le gâteau les thèmes seraient
compatibles d'un système à l'autre du moment qu'ils sont fait pour la même version de grub ;)
J'essayerai ton thème "breeze" sur ma manjaro et peut être sur une LM pour voir. (mais pas cette nuit car il est déjà 04h00 et j'ai encore
4 ventilos a monter sur une tour).

Inutile de te dire que si ça fonctionne bien, j'abandonnerai grub-customizer :l :D

@DEADMAN57:
Merci pour les liens, le sujet concernait uniquement les polices de caractères, mais j'ai trouvé ça marrant de pouvoir faire de la musique
avec le grub. Je l'ai marquetapagé évidemment :D

Je trouve quand même ça bizarre que grub-customizer nous propose 1000 polices alors qu'a peine 5% sont compatibles :roll:

La question de la police de caractère étant réglée pour moi, je clos le sujet.

Encore merci à vous deux ;)
il fera de la musique que si tu a un pc speaker sur ton pc sinon il ne fera pas de musique

Re: comment avoir une belle police dans le grub ?

Posté : dim. 11 mars 2018 00:00
par alain
DEADMAN57 a écrit :
il fera de la musique que si tu a un pc speaker sur ton pc sinon il ne fera pas de musique
Cela va de soit, non? ;)

Re: comment avoir une belle police dans le grub ?

Posté : dim. 11 mars 2018 00:06
par DEADMAN57
on ma déjà demander pourquoi il ne fessait pas de musique alors que je leurs et dit. alors je prévient quand même

Re: [résolu] comment avoir une belle police dans le grub ?

Posté : dim. 11 mars 2018 01:08
par alain
Merci DEADMAN57 :D