Problema com "." (ponto) e ',' (vírgula) do Ubuntu 8.10 com teclado numérico reduzido do ABNT2

Esse bug foi identificado e reconhecido antes da publicação oficial da versão 8.10. Infelizmente os desenvolvedores não tiveram a devida consideração em resolvê-lo. Um workaround é criar um arquivo bash e executá-lo no boot (pode chamar pelo SISTEMA > PREFERÊNCIAS > SESSÕES > PROGRAMAS INICIAIS, por exemplo) com o conteúdo:

#!/bin/sh
xmodmap -e "keycode 129 = period"

Lamentável, é nos detalhes que se ganha (ou perde) prestígio de distribuição estável.

Comentários

L.Felipe disse…
Cara, no ubuntu 9.04 não ta saindo a tecla ponto-e-virgula do meu teclado. Ponto ( . ) e virgula (,) Dois pontos ( : ) funcionam. Vc sabe como proceder com esse problema?
2 de novembro de 2009 às 21:10
Postar um comentário

Postagens mais visitadas deste blog

OpenOffice Calc: converter texto em números ou data

Muitas vezes a planilha eletrônica Calc do OpenOffice (ou BrOffice) formata de forma arbitrária números ou datas como texto ao "salvar como" e mudar o tipo de arquivo, acrescentando um apóstrofe no início da célula e dificultando a formatação e utilização adequada das informações. Para corrigir isso: - Selecione as células desejadas ou toda a planilha (teclando CTRL + A) - Clique em EDITAR > LOCALIZAR E SUBSTITUIR (ou tecle CTRL+ F) - No campo de busca complete com .* - No campo para substituição complete com & - Clique no botão "MAIS" - Selecione a opção "EXPRESSÕES REGULARES" - E finalmente clique em "SUBSTITUIR TUDO". Esse comando vai fazer com que todos os campos possam ser editados e configurados conforme o tipo desejado, através do comando FORMATAR > CÉLULAS (ou CTRL + 1).
Leia mais

Converter em lote (batch) arquivos mp4 em mp3 usando o ffmpeg

Eu baixo muitos vídeos de música para deixar tocando nos churrascos aqui em casa. Então procurei uma solução fácil de convertê-los para atualizar o pendrive do carro. O Soundconverter (http://soundconverter.org/) é um aplicativo bem interessante, mas aqui em casa tive problema com dependências em função do meu Ubuntu ser 64 bits. Optei por uma solução manual, criando um script. No terminal, instalar o repositório e o ffmpeg: sudo add-apt-repository ppa:mc3man/trusty-media  sudo apt-get update  sudo apt-get install ffmpeg gstreamer0.10-ffmpeg  Criar o script: vi converte.sh  #!/bin/bash  for i in *.mp4  do  ffmpeg -i "$i" -ab 256k "${i%mp4}mp3"  done  Dar permissões de execução para ele: chmod +x converte.sh  Basta colocá-lo na pasta onde estão os arquivos mp4 e executá-lo que ele criará uma cópia dos mesmos em mp3: ./converte.sh
Leia mais