Bonjour,
je suis sous Debian etch.
J'ai remarqué depuis quelque temps que le processus gnome-panel gonflait lentement jusqu'à occuper plus de 100 Mo, et il continuerait sûrement à grossir si je ne le tuai pas ;)
pmap me dis que ce sont les fichiers de police de caractère DejaVu qui sont chargés des dizaines de fois.
En fait je peux faire grossir gnome-panel très facilement :
j'enlève le menu principal gnome du tableau de bord, je le remet, je clique dessus et voilà !
On recommence l'opération quelque fois et gnome-panel fait 100Mo au lieu de 14.
avant :
# pmap 3004 | grep ttf
b6ab6000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6dc4000 512K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf
une fois :
# pmap 3004 | grep ttf
b68fd000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6976000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b69ef000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6a68000 240K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSansMono-Bold.ttf
b6ab6000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6dc4000 512K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf
deux fois :
v# pmap 3004 | grep ttf
b67cf000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6848000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b68c1000 240K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSansMono-Bold.ttf
b68fd000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6976000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b69ef000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6a68000 240K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSansMono-Bold.ttf
b6ab6000 484K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans-Bold.ttf
b6dc4000 512K r-x-- /usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf
J'ai aussi remarqué que ça ne le fait pas avec le thème Traditionnel ...
Je sais vraiment pas quoi faire, a part un rapport de bug à debian (à moins que ce soit un bug connu ? (à moins que ce ne soit pas un bug ?))
Avez vous une explication ?
Merci.
# changer de themes...
Posté par NeoX . Évalué à 1.
du coup ce n'est pas un bug gnome ou debian mais un bug du theme.
il faut, pour te depanner, utiliser un autre theme
ou faire un rapport de bug au gestionnaire du theme
[^] # Re: changer de themes...
Posté par amals . Évalué à 1.
Je vais faire ça :)
[^] # Re: changer de themes...
Posté par symoon . Évalué à 2.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.