Guest User

gregorio.install for gregorio

a guest
Mar 26th, 2010
164
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.90 KB | None | 0 0
  1.  
  2. # Maintainer: David Gippner davidgippner at googlemail dot com
  3.  
  4. ## arg 1:  the new package version
  5. #pre_install() {
  6.   # do something here
  7. #}
  8.  
  9. ## arg 1:  the new package version
  10. post_install() {
  11.   echo "Installing fonts and GregorioTeX support files..."
  12.     cd $pkgdir/tmp/fonts-gregorio
  13.     ./install.py
  14.     updmap-sys        
  15.     echo "Don't forget to run updmap as non-root user before using gregorio. Have fun!"
  16.   echo "Cleaning up..."
  17.   rm -rf /tmp/tex
  18.   rm -rf /tmp/fonts-gregorio
  19. }
  20.  
  21. ## arg 1:  the new package version
  22. ## arg 2:  the old package version
  23. #pre_upgrade() {
  24.   # do something here
  25. #}
  26.  
  27. ## arg 1:  the new package version
  28. ## arg 2:  the old package version
  29. #post_upgrade() {
  30.   # do something here
  31. #}
  32.  
  33. ## arg 1:  the old package version
  34. #pre_remove() {
  35.   # do something here
  36. #}
  37.  
  38. ## arg 1:  the old package version
  39. #post_remove() {
  40.   # do something here
  41. #}
  42.  
  43. # vim:set ts=2 sw=2 et:
Advertisement
Add Comment
Please, Sign In to add comment