extras/install-gtksourceview-mode

   1 #! /bin/bash
   2 cat >> /usr/share/mime-info/gtksourceview-sharp.keys <<EOF
   3 text/x-boo
   4         category=Software Development/Source Code
   5         can_be_executable=true
   6         default_action_type=application
   7         description=boo source code
   8         short_list_application_ids_for_novice_user_level=monodevelop,gedit
   9 EOF
  10 cat >> /usr/share/mime-info/gtksourceview-sharp.mime <<EOF
  11 text/x-boo
  12         ext: boo
  13 EOF
  14
  15 cp boo.lang /usr/share/gtksourceview-*/language-specs/
  16
  17 cp boo-mime-info.xml /usr/share/mime/packages
  18 update-mime-database /usr/share/mime
  19
  20
  21