Estou usando o mpv Media Player no Ubuntu 17.10 e, sempre que faço uma captura de tela, ela vai para o diretório inicial. Existe alguma maneira de alterar o diretório das capturas de tela?
Eu baixei o wxMaxima no ubuntu 17.04 zesty usando apenas um comando
sudo apt-get install wxmaximadepois de abri-lo, recebi os seguintes erros:
loadfile: falha ao carregar /usr/share/wxMaxima/wxmathml.lisp -- um erro. Para depurar isso, tente: debugmode(true); loadfile: falha ao carregar /usr/share/wxMaxima/wxmathml.lisp -- um erro. Para depurar isso, tente: debugmode(true);
Como posso corrigi-los?
Devo instalar o maxima também?
Estou tentando instalar os pacotes do Android Studio usando um PPA com estes comandos:
sudo add-apt-repository ppa:paolorotolo/android-studio
sudo apt-get update
Mas continuo recebendo esses erros:
W: The repository 'http://ppa.launchpad.net/paolorotolo/android-studio/ubuntu zesty Release' does not have a Release file.
N: Data from such a repository can't be authenticated and is therefore potentially dangerous to use.
N: See apt-secure(8) manpage for repository creation and user configuration details.
E: Failed to fetch http://ppa.launchpad.net/paolorotolo/android-studio/ubuntu/dists/zesty/main/binary-amd64/Packages 404 Not Found<br>
E: Some index files failed to download. They have been ignored, or old ones used instead.
Como resultado, o Android Studio também não está funcionando. Como posso resolver este problema?