Pages : 1
#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)
#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 ?
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
tapessudo 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
#5 Le 29/08/2013, à 19:46
- Rahnnu
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+
Salut L@ur3nt,
Merci je regarderai sa !
Merci
#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
Merci
ASUS N76VZ : PC Portable sous Calculate Linux Desktop MATE (Gentoo like)
Serveur domestique : Calculate Linux Server Scratch (Gentoo like)
Au travail : Ubuntu Server 12.04 LTS + CentOS 7
Hors ligne
#7 Le 30/08/2013, à 09:06
- Rahnnu
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
tapessudo 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
#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 : PC Portable sous Calculate Linux Desktop MATE (Gentoo like)
Serveur domestique : Calculate Linux Server Scratch (Gentoo like)
Au travail : Ubuntu Server 12.04 LTS + CentOS 7
Hors ligne
#9 Le 30/08/2013, à 09:29
- Rahnnu
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.
Bonjour Adrien.D,
Ok merci pour cette info
Merci
#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
Pages : 1