[migration] Ignore IOError from readline.write_history_file (closes #2106621)
We already ignore them when reading the histfile, no reason writing it
back should be any different.
#! /bin/sh -e#if [ "$1" = remove -o "$1" = upgrade ]; then if which install-docs >/dev/null 2>&1; then install-docs -r cubicweb-doc fifi#DEBHELPER#exit 0