Résolu le 15-11-18 comment avoir une belle police dans le grub ?

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

Re: comment avoir une belle police dans le grub ?

Message 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 ;)
PC are like air conditioning, they becomes useless when you open Windows (L.T)
PC1 : CM : ASRock 990FX | CPU: AMD FX 8350-8 cores, 4 GHz | RAM: 16 Go DDR3 1600 MHz | CG: ATI RX 580-8 Go | OS : LM 20.3 Uma Xfce 4.16 | K: 5.4
PC2
:Core2 Quad Q9650 @ 3 GHz | CG: Nvidia GTX 650TI | OS: LM 21.3 Xfce 4.18| K: 6.5
PC3 :Core i7-2600 @ 3,5 GHz | CG: ATI HD 4650 | OS: Emmade5 Xfce 4.18.0 | K: 6.1
PC4 : AMD Ryzen 5 3500X 4GHz | CG: GTX 970 | Ram : 8GB |OS : Debian 10.5 | K: 5.10
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 ?

Message 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

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

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

Message par david37 »

Un bien joli grub :D
PC1: Mobo: Gigabyte B550 AORUS Elite 2 / CPU: AMD Ryzen 7 3700X / GPU: MSI Radeon RX 580 Armor / RAM: 32 GB @3600 MHz CL16 / SSD: Samsung 970 EVO 500 GB / LM 20.2 Xfce
PC2: HP Pavilion 15 / AMD Ryzen 5 5500U with Radeon Graphics / 16GB RAM / 500 GB SSD / Debian 11 Xfce
PC3: Dell-Latitude E7240 / 2.1GHz i7-4600U / Intel Haswell-ULT HD 4400 / 8GB RAM / 250 GB Hard Drive / LM 20.2 Xfce

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

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

Message 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:

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

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

Message par mézig »

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

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

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

Message par Dickanom »

@malissa6969

Super class ton grub..
il faudrait que je m'y intéresse mais touché au grub j'ose pas trop..
Linux Mint 21.1 Cinnamon 64 Bit
Pc Dell Optiplex 7040 sff
Ram:8 Go - Graphique: Intel HD 530
Ssd 500 Go x2 - Noyau Linux 5.15.0-56

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

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

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

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

Re: comment avoir une belle police dans le grub ?

Message 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
Linux Mint 20 Mate 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 GP107 [GeForce GTX 1050 Ti]

Avatar du membre
alain
Administrateur du site
Messages : 14701
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles
Contact :

Re: comment avoir une belle police dans le grub ?

Message 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? ;)
PC are like air conditioning, they becomes useless when you open Windows (L.T)
PC1 : CM : ASRock 990FX | CPU: AMD FX 8350-8 cores, 4 GHz | RAM: 16 Go DDR3 1600 MHz | CG: ATI RX 580-8 Go | OS : LM 20.3 Uma Xfce 4.16 | K: 5.4
PC2
:Core2 Quad Q9650 @ 3 GHz | CG: Nvidia GTX 650TI | OS: LM 21.3 Xfce 4.18| K: 6.5
PC3 :Core i7-2600 @ 3,5 GHz | CG: ATI HD 4650 | OS: Emmade5 Xfce 4.18.0 | K: 6.1
PC4 : AMD Ryzen 5 3500X 4GHz | CG: GTX 970 | Ram : 8GB |OS : Debian 10.5 | K: 5.10
In a world without walls and fences, who needs windows and gates?

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

Re: comment avoir une belle police dans le grub ?

Message 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
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 20 Mate 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 GP107 [GeForce GTX 1050 Ti]

Avatar du membre
alain
Administrateur du site
Messages : 14701
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles
Contact :

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

Message par alain »

Merci DEADMAN57 :D
PC are like air conditioning, they becomes useless when you open Windows (L.T)
PC1 : CM : ASRock 990FX | CPU: AMD FX 8350-8 cores, 4 GHz | RAM: 16 Go DDR3 1600 MHz | CG: ATI RX 580-8 Go | OS : LM 20.3 Uma Xfce 4.16 | K: 5.4
PC2
:Core2 Quad Q9650 @ 3 GHz | CG: Nvidia GTX 650TI | OS: LM 21.3 Xfce 4.18| K: 6.5
PC3 :Core i7-2600 @ 3,5 GHz | CG: ATI HD 4650 | OS: Emmade5 Xfce 4.18.0 | K: 6.1
PC4 : AMD Ryzen 5 3500X 4GHz | CG: GTX 970 | Ram : 8GB |OS : Debian 10.5 | K: 5.10
In a world without walls and fences, who needs windows and gates?

Répondre