[gtksourceview] sh.lang: add globs for bashrc, .profile and .bash_profile
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] sh.lang: add globs for bashrc, .profile and .bash_profile
- Date: Wed, 13 Aug 2014 12:27:16 +0000 (UTC)
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]