[gtksourceview] sh.lang: add globs for bashrc, .profile and .bash_profile



commit 4a774bd8dd1a362fa03c75000dc173efdc273188
Author: Magdalen Berns <m berns thismagpie com>
Date:   Sat Aug 9 03:39:06 2014 +0100

    sh.lang: add globs for bashrc, .profile and .bash_profile
    
    ~/.bashrc, /etc/bashrc and /etc/bash.bashrc are covered by "*bashrc".
    The likelihood that a simple text file ending with "bashrc" is low, so
    "*bashrc" should be fine.
    
    However for ~/.profile and ~/.bash_profile, with the glob "*profile"
    there are more likelihood that it'll wrongly match simple text files. So
    the file names ".profile" and ".bash_profile" are matched explicitly.
    The drawback is that /etc/profile is not covered.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=733624

 data/language-specs/sh.lang |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/language-specs/sh.lang b/data/language-specs/sh.lang
index f1352f4..1f19f7a 100644
--- a/data/language-specs/sh.lang
+++ b/data/language-specs/sh.lang
@@ -25,7 +25,7 @@
 <language id="sh" _name="sh" version="2.0" _section="Script">
   <metadata>
     <property name="mimetypes">text/x-shellscript;application/x-shellscript;text/x-sh</property>
-    <property name="globs">*.sh</property>
+    <property name="globs">*.sh;*bashrc;.profile;.bash_profile</property>
     <property name="line-comment-start">#</property>
   </metadata>
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]