O problema:
Quando eu digito:
dpkg-query -Wf '${Package;-40}${Priority}\n' | sort -b -k2,2 -k1,1
Eu recebo uma lista de todos os pacotes instalados na minha máquina, por exemplo:
...
raspberrypi-artwork extra
raspberrypi-bootloader extra
raspberrypi-ui-mods extra
raspi-config extra
rpi-update extra
sonic-pi extra
ssh extra
triggerhappy extra
wireless-tools extra
xkb-data extra
adduser important
apt important
apt-utils important
aptitude important
aptitude-common important
bsdmainutils important
...
Eu recentemente executei um script que instalou muitas coisas e agora minha máquina responde com: /usr/bin/mandb: can't write to /var/cache/man/2694: No space left on device
(os caminhos mudam, mas sempre me dizem que não há mais espaço).
Os rótulos possíveis que vejo são:
- padrão
- extra
- importante
- opcional
- obrigatório
Eu não realizei alterações em vários repositórios e quero ser capaz de promover minhas alterações locais, mas continuo recebendo esse erro quando tento enviar:
$ git push
fatal: write error: No space left on device
error: Couldn't write .git/refs/remotes/origin/master.lock
error: Cannot update the ref 'refs/remotes/origin/master'.
Everything up-to-date
Eu também devo dizer que sei que tudo não está atualizado.
O sistema:
Isto está em um raspberry pi executando "wheezy" raspbian.
A pergunta:
Eu tenho centenas de pacotes instalados. Como faço para remover todos os pacotes rotulados como "extra"? Essa é a melhor maneira de liberar espaço na minha máquina? Não me comprometi com alterações em vários repositórios e quero ser capaz de impulsionar minhas alterações locais.
Eu também aceito uma resposta que remova tudo, mas necessária e importante. O Git é rotulado como opcional e eu preferiria manter isso (embora eu possa sempre instalá-lo novamente depois de remover todos os pacotes desnecessários).
Obrigado antecipadamente !!