[Linux] debian 7.6.0
René Bastian
rbastian@::1
Mer 29 Oct 17:24:37 CET 2014
Le Wed, 29 Oct 2014 14:54:38 +0100,
François DREYFÜRST <francois.dreyfuerst@::1> a écrit :
> Le 29/10/2014 13:52, René Bastian a écrit :
> > [...]
> >> Autant que je sache, je l'avais automatiquement sur mon portable ;
> >> là, c'est peut-être lié au fait que tu le testes/l'as installé
> >> depuis une distribution live.
> >> De toutes manières, une fois un système installé, ça peut
> >> s'ajouter « à la main » dans la barre de menu ; c'est une
> >> manipulation qui se fait une fois pour toutes (clic droit sur la
> >> barre de menu --> ajouter au tableau de bord --> ... se laisser
> >> guider devrait suffire).
> > Hé hé: yapas de barre de menu ...
> >
> >
>
> Soit tu es en Gnome-shell, et effectivement tu n'as pas de barre de
> menu, soit ut es en Gnome-classic et il y en a une : elle est en
> haut, peut-être peu visible à cause d'une couleur qui ne fait pas
> assez contraste avec le reste.
>
> > En fait je préfèrerais
> > * soit mettre la Gnome 3 à mon goût;
> > * soit démarrer en brut et lancer un environnement par startx XXXX.
> >
>
> Démarrer Gnome à la main ne change pas grand-chose à son apparence,
> que je sache.
Plausible - sauf si on veut essayer un autre bureau.
Mais d'après ce que je trouve sur le web
https://developer.gnome.org/
on peut ajouter des extensions (p.ex. ajouter des icones à la barre de
menu).
rb
>
> FD
>
--
René Bastian
www.pythoneon.org
Plus d'informations sur la liste de diffusion linux