Eu acho que parece haver algo errado com a sua configuração de rede, no entanto, você ainda pode pingar o servidor de arquivamento com o seu nome de host, o que me deixa um pouco confuso ...
De qualquer forma, sugiro que você adicione servidores DNS alternativos (fornecidos pelo Google) por:
sudo sh -c "echo nameserver 8.8.8.8 >> /etc/resolvconf/resolv.conf.d/base"
sudo sh -c "echo nameserver 8.8.4.4 >> /etc/resolvconf/resolv.conf.d/base"
E faça suas alterações entrarem em vigor com:
sudo resolvconf -u
Depois disso, execute sudo apt-get update && sudo apt-get install imagemagick
para instalar o pacote imagemagick. E você poderá usar o comando convert
.
Explicação detalhada e instruções para configurar isso com o NetworkManager podem ser encontradas neste artigo: O que" sudo echo nameserver 8.8.8.8 > /etc/resolv.conf "faz?
Referência:
- Servidor de nomes dns persistente para o Ubuntu 14.04
- Como defino meu DNS Ubuntu 14.04?