view bin/really-remove-deb.sh @ 756:12f0be02e9cc

http://www.howtogeek.com/168147/add-public-ssh-key-to-remote-server-in-a-single-command/
author Jeff Hammel <k0scist@gmail.com>
date Wed, 05 Aug 2015 08:44:23 -0700
parents f3c73873bcb5
children
line wrap: on
line source

#!/bin/bash
# -*- coding: utf-8 -*-

# really remove Ubuntu packages
# http://www.piprime.fr/1480/manually-remove-broken-package-debian-ubuntu/

for PACKAGE in $@
do
  echo "Removing ${PACKAGE}"
  sudo mv /var/lib/dpkg/info/${PACKAGE}.* /tmp/
  sudo dpkg --remove --force-remove-reinstreq ${PACKAGE}
done