Adicionar ppa no Linux Educacional 5.0
Alguns reportaram que não conseguiam adicionar ppa no linux educacional 5.0, vamos abordar aqui como fazer isso de modo prático utilizando o terminal. o primeiro passo é saber qual programa você quer instalar e saber o endereço de seu repositório, vamos supor que queiras instalar o grub customizer, uma busca no google nos ajuda, podemos encontrar um repositório de determinado programa no site lauchpad.net, pesquisamos por grub custumizer no google, dentre os resultados temos um que nos leva ao site launchpad, clique neste, onde podemos pegar o que queremos ao clicar em Technical details about this PPA, Neste link é mostrado o enderço que usaremos para nosso exemplo, siga os passos abaixo para adicionar o endereço do repositório, execute um comando de cada vez:
Comando 1 - sudo su Comando 2 - sudo echo "deb http://ppa.launchpad.net/danielrichter2007/grub-customizer/ubuntu precise main deb-src http://ppa.launchpad.net/danielrichter2007/grub-customizer/ubuntu precise main " >> /etc/apt/sources.list / Comando 3 - sudo apt-get update && sudo apt-get install grub-customizer -y Aguarde a instalação. Boa sorte!!!