Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Humberto Fraga
Robson, em se tratando de algo que afeta a interface gráfica, seria muito estranho que a alteração fosse feita via terminal. Mas isso possivelmente é configurado via gconf ou dconf, então usando essas palavras em uma pesquisa dá para encontrar alguma alternativa. Em 17 de junho de 2013 15:02, Ro

Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Robson Dantas
Valeu pelo dica, eu queria saber como fazer pelo Terminal, mas tudo bem, usei o Ubuntu-Tweak e funcionou, coloquei para 0,8, ficou sensacional (para a resolução 1024x768), deveria vir como padrão para essa resolução... Em 17-06-2013 14:41, Humberto Fraga escreveu: Robson, nas versões anterio

Re: [Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Humberto Fraga
Robson, nas versões anteriores havia esta opção dentro da tela de Aparência. Com as novas versões do Gnome cada vez mais econômicas, as opções de fonte estão disponíveis apenas pelo gnome-tweak-tool. Experimente e veja se lhe atende. Em 17 de junho de 2013 14:02, Robson Dantas escreveu: > onde

[Ubuntu-BR] como mudar tamanho das fontes?

2013-06-17 Por tôpico Robson Dantas
onde fica esta configuração para mudar de 10px para 9px ou 8px. Uso resolução 1024x768 e me disseram que isso seria bom por causa do Unity que atrapalha os labels dos programas. uso o ubuntu 12.04 valeu -- Mais sobre o Ubuntu em português: http://www.ubuntu-br.org/comece Lista de discussão U

Re: [Ubuntu-BR] Dica de Adaptador USB-Ethernet

2013-06-17 Por tôpico Alexandre Provencio
Valeus !! 2013/6/14 Renato Foot : > http://dx.com/p/usb-2-0-10-100mbps-rj45-lan-ethernet-network-adapter-dongle-34691 > > Tenho esse, para o básico funciona, só tive problema no trabalho, mas era > algo bem específico do tipo ter que executar um comando logo que a > interface é iniciada, coisa de

Re: [Ubuntu-BR] [Dica] Firefox - Para navegar mais rápido

2013-06-17 Por tôpico mario / gmail
é muito útil, principalmente pra quem tem conexão de pobre e precisa ficar economizando, fora que, na maioria das vezes não temos necessidade de ficar vendo animaçõezinhas dispensáveis, mas prefiro o chrome... mesmo assim vlw... Em 16-06-2013 22:36, Robson Dantas escreveu: Veja se isso é úti