svoid kill_update_apt_xapi() {
  backtick("sudo apt-get purge apt-xapian-index");
}