# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1399743536 25200
# Node ID f3c73873bcb5e19d5ca4aa3719db9c4d64788591
# Parent  1e1bed921c08f5e241d71ea3f32d9c9af0f90059
script to really forecably remove debian packages

diff -r 1e1bed921c08 -r f3c73873bcb5 bin/really-remove-deb.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/really-remove-deb.sh	Sat May 10 10:38:56 2014 -0700
@@ -0,0 +1,12 @@
+#!/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