edb-debugger/edb.install

   1 post_install() {
   2     echo "===="
   3     echo "NOTE"
   4     echo "===="
   5     echo "* Since the tools that ./edb_make_symbolmap is dependant on are not uniform"
   6     echo "  across all the platforms that I intend to support. I have built symbol"
   7     echo "  file generation into edb directly. Running './edb --symbols <filename>' will"
   8     echo "  create a symbol file in the same format as the old script. For now, ELF is the"
   9     echo "  only supported format but more will be added as needed. This also means"
  10     echo "  that future versions of edb will be able to generate symbols as needed"
  11     echo "  if no symbol file is provided, making things \"just work\" more often."
  12     echo "==="
  13     echo "  EBD's plugins are installed by default into /usr/lib/edb."
  14     echo "  If you have previously used EDB and have it set to look in a"
  15     echo "  different directory, then you will need to adjust this. Also"
  16     echo "  EDB looks for plugins in the current working directory as well"
  17     echo "  as the directory specified in the options, so that unpriviledged"
  18     echo "  users can use plugins not installed system wide."
  19     echo ""
  20
  21     update-desktop-database -q
  22     gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor
  23 }
  24
  25 post_upgrade() {
  26     post_install
  27 }
  28
  29 post_remove() {
  30     update-desktop-database -q
  31     gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor
  32 }