Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#1 Le 29/08/2013, à 19:11

Rahnnu

[Résolu] Grub Customizer ?

Bonsoir,

J'ai voulu installer dans la logithèque "Grub Customizer" mais je ne le trouve plus, est-ce qu'il à changer de nom ?

svp merci d'avance.

Dernière modification par Rahnnu (Le 30/08/2013, à 11:10)

Hors ligne

#2 Le 29/08/2013, à 19:32

f.x0

Re : [Résolu] Grub Customizer ?

Bonjour Rahnnu,

L'application Grub-customizer n'est pas une application incluse dans les dépôts Ubuntu.
Elle est disponible via un PPA.

Pour cela ouvres un terminal
tapes

sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install -y grub-customizer

SOPI

Hors ligne

#3 Le 29/08/2013, à 19:43

L@ur3nt

Re : [Résolu] Grub Customizer ?

Salut,

je ne connais pas grub customiser mais j'ai installé kde-config-grub2 qui me parait faire la même chose ( par contre chez moi il est en anglais ).

A+

Hors ligne

#4 Le 29/08/2013, à 19:45

Rahnnu

Re : [Résolu] Grub Customizer ?

f.x0 a écrit :

Bonjour Rahnnu,

L'application Grub-customizer n'est pas une application incluse dans les dépôts Ubuntu.
Elle est disponible via un PPA.

Pour cela ouvres un terminal
tapes

sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install -y grub-customizer

Salut f.x0,

Merci je vais tester.

Merci

Hors ligne

#5 Le 29/08/2013, à 19:46

Rahnnu

Re : [Résolu] Grub Customizer ?

L@ur3nt a écrit :

Salut,

je ne connais pas grub customiser mais j'ai installé kde-config-grub2 qui me parait faire la même chose ( par contre chez moi il est en anglais ).

A+


Salut L@ur3nt,

Merci je regarderai sa !

Merci

Hors ligne

#6 Le 29/08/2013, à 19:49

Adrien.D

Re : [Résolu] Grub Customizer ?

Salut f.x0,

Intéressant ce lien, je garde ça sous le coude wink

Merci


ASUS N76VZ :Fedora 20 (Avec NVidia Optimus)
Serveur domestique : Calculate Linux Server Scratch
Au travail : Ubuntu Server 12.04 LTS

Hors ligne

#7 Le 30/08/2013, à 09:06

Rahnnu

Re : [Résolu] Grub Customizer ?

f.x0 a écrit :

Bonjour Rahnnu,

L'application Grub-customizer n'est pas une application incluse dans les dépôts Ubuntu.
Elle est disponible via un PPA.

Pour cela ouvres un terminal
tapes

sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install -y grub-customizer

Salut,

Est-ce que cette commande marche aussi pour Ubuntu Unity ?

Merci

Hors ligne

#8 Le 30/08/2013, à 09:15

Adrien.D

Re : [Résolu] Grub Customizer ?

Bonjour Rahnnu,

Oui, cela fonctionnera sans problème, puisqu'un "PPA" est un  dépôt supplémentaire ajouté aux sources. (cf. http://doc.ubuntu-fr.org/ppa )

Donc c'est indépendant de l'environnement de bureau.


ASUS N76VZ :Fedora 20 (Avec NVidia Optimus)
Serveur domestique : Calculate Linux Server Scratch
Au travail : Ubuntu Server 12.04 LTS

Hors ligne

#9 Le 30/08/2013, à 09:29

Rahnnu

Re : [Résolu] Grub Customizer ?

Adrien.D a écrit :

Bonjour Rahnnu,

Oui, cela fonctionnera sans problème, puisqu'un "PPA" est un  dépôt supplémentaire ajouté aux sources. (cf. http://doc.ubuntu-fr.org/ppa )

Donc c'est indépendant de l'environnement de bureau.


Bonjour Adrien.D,

Ok merci pour cette info  wink

Merci

Hors ligne

#10 Le 30/08/2013, à 11:09

Rahnnu

Re : [Résolu] Grub Customizer ?

Merci à Tous, sa marche très bien, je règle ce sujet  wink

Hors ligne

Haut de page ↑