2013-11-07 04:25:34 +00:00
|
|
|
#!/bin/bash
|
2014-03-29 03:28:22 +00:00
|
|
|
|
2014-09-04 04:56:29 +00:00
|
|
|
if [ ${DIB_DEBUG_TRACE:-0} -gt 0 ]; then
|
|
|
|
set -x
|
|
|
|
fi
|
2014-03-29 03:28:22 +00:00
|
|
|
set -eu
|
|
|
|
set -o pipefail
|
|
|
|
|
2013-09-19 00:22:59 +00:00
|
|
|
# This package is broken and causes real issues on update:
|
|
|
|
# https://bugs.launchpad.net/ubuntu/+source/apt-xapian-index/+bug/1227420
|
2013-09-19 20:35:31 +00:00
|
|
|
apt-get --yes remove apt-xapian-index || :
|