ERRO – ao tentar adicionar PPA

No Linux Educacional 4.0 há um bug que impossibilita adição de PPAs nos repositórios.
Para que você possa adicinar um ppa normalmente deves realizar estes procedimentos:

1- Baixe este arquivo: aqui
2- Abra um terminal e digite sudo apt-get install patch
3- Digite cd Download/      
4- Digite sudo patch -p0 < distro.py-fix-linux-educacional.patch

Agora você conseguirá adicionar o ppa normalmente.