Apenas mudei para o Ubuntu 14. Tentei instalar o Singular (sistema CA) sem sucesso. Aqui o manual do proprietário
Instruções passo-a-passo para o Ubuntu 14.04:
wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg apt-key add gpg deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu14 trusty main a /etc/apt/sources.list
apt-get update
apt-get install singular
Aqui o que eu fiz até agora:
~$ wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg
~$ sudo apt-key add gpg
~$ deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu14 trusty main
~> No command 'deb' found...
Qualquer ajuda seria muito apreciada!
As instruções diziam para abrir o arquivo sources.list localizado na pasta /etc/apt e anexar a ele a linha deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu14 trusty main .
O procedimento mais fácil é substituir este passo por este comando que faz isso para você:
sudo add-apt-repository "deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu14 trusty main"
As instruções passo-a-passo para o Ubuntu 14.04 dizem para abrir o arquivo sources.list localizado em /etc/apt/sources.list para edição. Você pode abrir o arquivo sources.list para edição no editor de texto nano usando este comando:
sudo nano /etc/apt/sources.list
Adicione esta linha a sources.list:
deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu14 trusty main
Pressione a combinação de teclas Ctrl + O e depois pressione Enter para salvar as alterações em sources.list.
Pressione a combinação de teclas Ctrl + X para sair do nano.
Em seguida, execute esses dois comandos para atualizar a lista mais recente de software e, em seguida, instale o singular:
sudo apt-get update
sudo apt-get install singular
Se você receber esse erro ao tentar usar apt-get :
E: Could not get lock /var/lib/apt/lists/lock - open (11 Resource temporarily unavailable)
... as instruções para consertá-lo estão nessa pergunta: