Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 13/10/2011, à 18:25

alesson

Changer police Ubuntu 11.10

Bonjour,

Je viens d'installer l'Ubuntu 11.10 et j'aimerais changer la police du système, avant il suffisait de cliquer droit sur le bureau. Mais là je n'y arrive plus, par ailleurs toutes les options comme installer thème et etc ont disparu hmm

Hors ligne

#2 Le 13/10/2011, à 18:45

fraide

Re : Changer police Ubuntu 11.10

Et oui... Utiliser gnome-control-center, peut-être ?

Dernière modification par fraide (Le 13/10/2011, à 18:46)

Hors ligne

#3 Le 13/10/2011, à 18:52

sorrodje

Re : Changer police Ubuntu 11.10

bienvenue dans gnome3 tongue .. il faut installer et utiliser gnome-tweak-tool  par le moyen que tu veux:

- aller dans le dashboard puis dans les applications et taper tweak dans la barre de recheche et cliquoter sur l'appli "paramètres avancés" ...

- sinon sudo apt-get install gnome-tweak-tool dans un terminal

Une fois l'installation faite, taper tweak dans le dash te ressortira ce gestionnaire de paramètres .. si tu utilises souvent tu le mets dans le launcher/dock .


Utilisateur Debian/Ubuntu depuis 2008 - http://sorrodje.alter-it.org

Hors ligne

#4 Le 13/10/2011, à 19:44

alesson

Re : Changer police Ubuntu 11.10

Non, mais c'est vraiment du n'importe quoi ce qu'ils ont fait. Pour changer un thème il faut installer un truc ?

Ca fait vraiment mal

Hors ligne

#5 Le 13/10/2011, à 19:47

alesson

Re : Changer police Ubuntu 11.10

En gros, on n'a pas l'accès au Synaptic, configuraiton du système rien ? oO

Hors ligne

#6 Le 13/10/2011, à 19:54

hillairest

Re : Changer police Ubuntu 11.10

Synaptic n'est pas installé par défaut mais il peut l'être big_smile
Comme je l'ai dit dans un autre post, la personnalisation (théme, couleur, shell, police etc...) est devenue... comment dire... du niveau licence informatique ou geek de haut niveau, que ce soit sous Unity ou Gnome shell c'est pareil.
Pourquoi faire simple quand on peut faire compliqué roll

Sinon là je suis sous Gnome shell avec mon 'tit netbook et ça tourne nickel cette affaire...

Dernière modification par hillairest (Le 13/10/2011, à 19:56)


Linux Mint 17.2 Rafaela
Environnement Cinnamon
Netbook Samsung NC-10

Hors ligne

#7 Le 13/10/2011, à 19:58

alesson

Re : Changer police Ubuntu 11.10

C'est quoi la différence Unity avec Gnome shell ?

Tu sais pourquoi ils ont rendu le truc aussi compliqué ?

Hors ligne

#8 Le 13/10/2011, à 20:03

hillairest

Re : Changer police Ubuntu 11.10

Unity et Gnome shell sont deux environnements graphiques différents, on me corrige si je dis une c......e
J'aime bien ce Gnome shell moi...
Si tu veux utiliser/tester Gnome shell, à l'écran de connexion tu cliques sur la petite roue dentée (à coté de ton nom de mémoire) et tu sélectionnes Gnome.
Pour revenir à Unity, même chose mais tu sélectionnes Ubuntu ou Unity 2D.

Pourquoi c'est devenu compliqué? bahh parait que c'est une histoire entre Ubuntu et la Gnome fondation... en tout cas c'est la réponse que j'ai eu.


Linux Mint 17.2 Rafaela
Environnement Cinnamon
Netbook Samsung NC-10

Hors ligne

#9 Le 13/10/2011, à 20:07

alesson

Re : Changer police Ubuntu 11.10

Du coup, si je veux modifier quoi que ce soit, je fais comment ?

Hors ligne

#10 Le 13/10/2011, à 20:13

choops

Re : Changer police Ubuntu 11.10

hillairest a écrit :

Pourquoi c'est devenu compliqué? bahh parait que c'est une histoire entre Ubuntu et la Gnome fondation... en tout cas c'est la réponse que j'ai eu.

Euh non, pas du tout. Ca, c'est la réponse à "Pourquoi Unity est né ?" : la fondation gnome refusant d'entendre les propositions de la part de Canonical (ubuntu) pour le développement de gnome-shell, Canonical a décidé de faire sa propre interface utilisateur à gnome 3, à savoire unity, en remplacement de gnome-shell.

La réponse à ta question, c'est juste "bah parce que gnome 3, c'est comme ça, c'est verrouillé de partout", rien de spécifique à ubuntu.

Pour modifier les polices et/ou le theme (hors themes standards installés de base), il faut que tu installes gnome-tweak-tools, comme te l'a dit sorodje.

Dernière modification par choops (Le 13/10/2011, à 20:17)

Hors ligne

#11 Le 13/10/2011, à 20:14

alesson

Re : Changer police Ubuntu 11.10

Donc on n'a pas de choix ?

Hors ligne

#12 Le 13/10/2011, à 20:18

choops

Re : Changer police Ubuntu 11.10

Si, mais il faut se sortir les doigts ...

Hors ligne

#13 Le 13/10/2011, à 20:20

alesson

Re : Changer police Ubuntu 11.10

sad Ubuntu ne pourra jamais aller loin

Hors ligne

#14 Le 13/10/2011, à 20:24

fraide

Re : Changer police Ubuntu 11.10

En même temps, çà va assez loin aujourd'hui, et çà risque de durer encore un peu... wink

Hors ligne

#15 Le 13/10/2011, à 20:59

sorrodje

Re : Changer police Ubuntu 11.10

choops a écrit :

Si, mais il faut se sortir les doigts ...


Je me solidarise à cette réponse big_smile

En plus , y'a même pas à chercher bien loin.


Utilisateur Debian/Ubuntu depuis 2008 - http://sorrodje.alter-it.org

Hors ligne

#16 Le 13/10/2011, à 21:14

maximac

Re : Changer police Ubuntu 11.10

alesson a écrit :

sad Ubuntu ne pourra jamais aller loin

Ubuntu fait ce qu'il peut. Ubuntu ne peut pas corriger les erreurs de Gnome 3 en une seule release, ça sera fait petit à petit. Il y a déjà des trucs qui ont été corrigés par rapport à Gnome 3.
(Comme l'obligation de faire "Ctrl + Suppr" pour supprimer un fichier, ce qui était complètement contre intuitif)

Hors ligne

#17 Le 13/10/2011, à 21:57

hillairest

Re : Changer police Ubuntu 11.10

Bon alors dans l'ordre:

Euh non, pas du tout. Ca, c'est la réponse à "Pourquoi Unity est né ?"

Je n'ai jamais demandé de réponse à cette question... la réponse que j'ai eu concerne un autre post ou je parlais (déjà) de la difficulté de personnalisation de Gnome3 et/ou Unity.
Ce qui est tout de meme un comble quand on sait qu'une des grande argumentation du monde de Linux c'est justement de pouvoir pesonnaliser son environnement à son gout sans limite ou presque...

La réponse à ta question, c'est juste "bah parce que gnome 3, c'est comme ça, c'est verrouillé de partout", rien de spécifique à ubuntu.

C'est un fait mais certainement pas une réponse pour un utilisateur qui souhaite personaliser son environnement et à qui on ne laisse pas le choix... du moins de façon simple et ergonomique.

Pour modifier les polices et/ou le theme (hors themes standards installés de base), il faut que tu installes gnome-tweak-tools

Juste, c'est d'ailleur ce que j'ai fait.
Mais meme comme ça il faut modifier bout par bout: shell, thème, couleur, icone, police etc etc.... et ça ne marche pas à tout les coups et en plus l'environnement obtenu n'est pas toujours très cohérent.
L'interface "apparence" était plus simple à utiliser sous la 11.04; faire glisser son tar.bz téléchargé et hop basta! sans avoir besoin de rajouter un énième logiciel.

Si, mais il faut se sortir les doigts ...

Je me désolidarise de cette réponse.
C'est bien le problème de Linux en général... Linux restera à guère plus de 1% d'utilsateur grand public (Mme Michu) tant que l'on verra ce genre de réponse.
Quand on crée un OS on doit résonner pour l'utilsateur final qui ne doit etre ni un geek ni un spécialiste de l'informatique... l'OS doit être "clef en main" et fonctionnel, ne pas être terminé dans l'urgence suite à des conflits d'intérêt dont se fout royalement l'utilisateur lambda... ce qui montre aussi les limites d'une mise à jour système majeure tout les 6 mois.

Il ne s'agit pas ici d'un procés contre Ubuntu ou Gnome (sinon je serais sous Windows ou une autre distrib) mais de montrer "les travers" du monde de Linux, si si il y en a.

Heureusement pour moi, le ratio plaisir/emmerdement reste encore en faveur d'Ubuntu...

Dernière modification par hillairest (Le 13/10/2011, à 21:59)


Linux Mint 17.2 Rafaela
Environnement Cinnamon
Netbook Samsung NC-10

Hors ligne

#18 Le 13/10/2011, à 22:37

dragao13

Re : Changer police Ubuntu 11.10

Colle ubuntu en vente liée avec tous les PC et demande aux utilisateurs d'aller télécharger, graver, partitionner puis installer windows et on verra si mme Michu se posera la question de savoir si ubuntu est clé en main !!!

J'ai acheté un portable sous vista et le wifi n'a bien marché correctement qu'au bout de 6 mois avec ma carte atheros, combien ont été dans mon cas ?
Ils n'ont pas pour autant laché windows, ils ne connaissent que ça !

Dernière modification par dragao13 (Le 13/10/2011, à 22:38)


Macbook AIr 13 - OS X Yosemite
Toshiba A 200 - Ubuntu 14.04 LTS

Hors ligne

#19 Le 14/10/2011, à 09:38

hillairest

Re : Changer police Ubuntu 11.10

Ta remarque est très juste vue dans ce sens.
La vente liée est un véritable scandale, une pratique commerciale abusive et illégale.
Bon Vista en même temps c'est du même acabit que Windows Millenium: raté!


Linux Mint 17.2 Rafaela
Environnement Cinnamon
Netbook Samsung NC-10

Hors ligne

#20 Le 14/10/2011, à 11:43

saceirdoth

Re : Changer police Ubuntu 11.10

Mme Michu se fout de la personnalisation de son système (en dehors du wallpaper). Elle veut que ça marche et que ça soit simple et sans virus. Elle a bien raison.
Mais d'accord pour dire que par défaut, on peut plus faire grand chose avec Ubuntu (en vérité Gnome3). Mais c'est en tant que geek qu'on est déçu, pas en tant qu'utilisateur classique. Y'a plein d'autres DE ou de distributions, faut pas se gêner.

Hors ligne

#21 Le 15/10/2011, à 14:47

pikouch

Re : Changer police Ubuntu 11.10

vous aurez dû voir le speech de Mark Shuttleworth.
les portables tactiles, les tablettes...seront les technologies du futur. l'environnement Unity, assure à Ubuntu une extension et une ouverture à ces technologies.
les grandes icones, large dash...ça saute aux yeux, qu'il est parfaitement adapté(Unity) à des interfaces tactile.

Hors ligne

#22 Le 17/10/2011, à 20:57

strial

Re : Changer police Ubuntu 11.10

Ce qui est bien dans ce topic c'est que vous parlez de tout sauf de la solution à la question du topic.... Dommage car je cherche aussi la solution à cette question... Personne n'a la réponse ???...

Hors ligne

#23 Le 17/10/2011, à 21:05

willcoyote

Re : Changer police Ubuntu 11.10

strial a écrit :

Ce qui est bien dans ce topic c'est que vous parlez de tout sauf de la solution à la question du topic.... Dommage car je cherche aussi la solution à cette question... Personne n'a la réponse ???...

Euh, la reponse a été donnée depuis un bout de temps déja
gnome-tweak-tools
1318881891.png

Hors ligne

#24 Le 29/10/2011, à 22:30

Maisondouf

Re : Changer police Ubuntu 11.10

Euh, gnome-tweak-machin, ça pèse quand même 75Mo une fois installé !!!

Je pensais qu'il n'y avait que M$ qui créait des utilitaires de 100Mo pour changer un truc minime lol


ASUS M5A88-v EVO avec AMD FX(tm)-8120 Eight-Core Processor,  OS principal Precise 12.04.1 LTS 63bits½
Bricoleur, menteur, inculte, inadapté social et mythomane, enfin d'après certains....
"the secret of my form is summed up in two words, no sport" (Winston Churchill)

Hors ligne

#25 Le 29/10/2011, à 22:41

willcoyote

Re : Changer police Ubuntu 11.10

75Mo ?????
Ou tu as vu ça ?

c'est une simple interface graphique pour modifier dconf
chez moi, c'est 90 Ko

Hors ligne