wget com Proxy em Debian / Ubuntu / Kubuntu

Para configurar o wget para utilizar um servidor proxy, deve-se editar o arquivo /etc/wgetrc e adicionar e/ou descomentar as seguintes linhas:
http_proxy = http://IPdoServidorProxy:PortadoProxy/
proxy_user = UsuarioProxy
proxy_passwd = SenhaUsuarioProxy
use_proxy = on

(dica: Telmo Lemos da Rosa)

Comentários

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