xdiff-ext/xdiff-ext.install

   1 post_install() {
   2   echo "+++ You must set your desired diff tool via the xdiff-ext configurator."
   3   echo "+++ Run \`xdiffextsetup' or launch it from the menu."
   4 }
   5
   6 post_upgrade() {
   7   post_install $1
   8 }