cubicweb #1192053 [sources] have a cubicweb-ctl command to rename a source [open]

sometimes it happens that a source must be renamed (for some admin sys reasons)

it would be handy if there was a cubicweb-ctl command to handle this:

cubicweb-ctl rename-source <instance> <old-sourcename> <new-sourcename>

the prerequisite being that:

  • the instance be shut down
  • the source has been renamed in the relevant config. file
done in<not specified>
closed by<not specified>