gsharkdown/gsharkdown.install

   1 post_install() {
   2   post_remove
   3   cat << EOF
   4
   5 >>> If you get in troubles related to glib.USER_DIRECTORY_MUSIC in running gsharkdown,
   6 >>> install xdg-user-dirs optional dependency and run:
   7 >>>
   8 >>> xdg-user-dirs-update
   9 >>>
  10 >>> or, if you do not want to install it,
  11 >>> create a user-dirs.dirs file in your \$XDG_CONFIG_HOME:
  12 >>>
  13 >>> echo XDG_MUSIC_DIR="\$HOME/Music" >> ~/.config/user-dirs.dirs
  14
  15 EOF
  16 }
  17
  18 post_upgrade() {
  19   post_install
  20 }
  21
  22 post_remove() {
  23   update-desktop-database -q
  24 }