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

Bureaux,conky et autres personnalisations esthétiques.
Avatar du membre
alain
Messages : 4460
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles

Re: comment avoir une belle police dans le grub ?

Messagepar alain » mer. 7 mars 2018 03:57

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 ;)
Image
In a world without walls and fences, who needs windows and gates?

melissa6969
Messages : 485
Enregistré le : lun. 24 oct. 2016 22:30

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

Messagepar melissa6969 » mer. 7 mars 2018 11:29

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

Avatar du membre
david37
modérateur
Messages : 2357
Enregistré le : lun. 22 août 2016 05:06

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

Messagepar david37 » mer. 7 mars 2018 21:03

Un bien joli grub :D
PC1: Hp pavilion g6 / 1.36 GHz AMD E2-1800 APU with Radeon(tm) HD Graphics / 500 GB hard drive / 4G RAM /
LM 18.2 Mate x64
PC2: Hp-Pavilion Slimline / 2.5 GHz AMD RV710 / 4GB RAM / 500 GB hard drive / LM 18.2 Mate x64 & LM 18.2 Cinnamon x64
PC3: Lenovo ThinkPad R61i / 1.87 GHz Intel T2390 / NVIDIA G86M / 2GB RAM / 100 GB Hard Drive / LMDE2-Mate x64

Avatar du membre
débitant
modérateur
Messages : 8221
Enregistré le : mar. 14 juil. 2015 18:22
Localisation : Lorraine France

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

Messagepar débitant » mer. 7 mars 2018 21:19

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:

mézig
Messages : 943
Enregistré le : mar. 14 nov. 2017 14:40

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

Messagepar mézig » mer. 7 mars 2018 23:05

j'ai pas osé !... :lol:
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.04 -- Deepin 15.5
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Deepin 15.5 -- Ubuntu 18.04 -- LinuxMint 19 Cinnamon avec partition de données commune

Avatar du membre
Dickanom
Messages : 213
Enregistré le : mer. 17 août 2016 18:32
Localisation : Villeneuve-Loubet

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

Messagepar Dickanom » jeu. 8 mars 2018 15:00

@malissa6969

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

melissa6969
Messages : 485
Enregistré le : lun. 24 oct. 2016 22:30

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

Messagepar melissa6969 » jeu. 8 mars 2018 19:00

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..

Avatar du membre
DEADMAN57
Messages : 65
Enregistré le : jeu. 10 août 2017 08:13

Re: comment avoir une belle police dans le grub ?

Messagepar DEADMAN57 » sam. 10 mars 2018 23:56

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
Linux Mint 18.3 Cinnamon 64-bit : 3.6.6
Noyau Linux : 4.13.14-041314-gen Pentium CPU G3420 3.20GHz x 2
Disques durs : SURPRISE Go
Mémoire vive : 15.6 Go
Carte graphique : NVIDIA Corporation GK 107 [GeForce GT 640]

Avatar du membre
alain
Messages : 4460
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles

Re: comment avoir une belle police dans le grub ?

Messagepar alain » dim. 11 mars 2018 00:00

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? ;)
Image
In a world without walls and fences, who needs windows and gates?

Avatar du membre
DEADMAN57
Messages : 65
Enregistré le : jeu. 10 août 2017 08:13

Re: comment avoir une belle police dans le grub ?

Messagepar DEADMAN57 » dim. 11 mars 2018 00:06

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
Modifié en dernier par Invité le dim. 11 mars 2018 09:56, modifié 1 fois.
Raison : suppression d'une citation reprenant à 100% le message précédent.
Linux Mint 18.3 Cinnamon 64-bit : 3.6.6
Noyau Linux : 4.13.14-041314-gen Pentium CPU G3420 3.20GHz x 2
Disques durs : SURPRISE Go
Mémoire vive : 15.6 Go
Carte graphique : NVIDIA Corporation GK 107 [GeForce GT 640]

Avatar du membre
alain
Messages : 4460
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles

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

Messagepar alain » dim. 11 mars 2018 01:08

Merci DEADMAN57 :D
Image
In a world without walls and fences, who needs windows and gates?


Retourner vers « Personnalisation »

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 1 invité