function post_install {
  echo "
If you upgraded fisherman from a pre-2.x release, you need to migrate your configuration.
You will have to install all your plugins manually again.
"
}

function post_upgrade {
  post_install
}

function post_remove {
  echo "
Remember that your plugins and Fisherman config still reside in your home directory,
usually ~/.config/fish/.
"
}