[sources] Skip problematic sources when starting shell instead of crashing. Closes #3670208 At least this gives an opportunity to fix the problem in using c-c shell, which is currently not possible because it crashes during initialization. Notice that since sources are copy based, it should not be a problem at all to have some disabled, beside for services such as authentication sources as ldapfeed.

     1

#! /bin/sh -e

     2

#

     3

     4

if [ "$1" = remove -o "$1" = upgrade ]; then

     5

  if which install-docs >/dev/null 2>&1; then

     6

    install-docs -r cubicweb-doc

     7

  fi

     8

fi

     9

    10

#DEBHELPER#

    11

    12

exit 0