diff options
author | Techie Guy <79499324+techie-guy@users.noreply.github.com> | 2022-11-04 22:15:57 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-04 12:45:57 -0400 |
commit | 3c7fde4346a23f5cdd5c541e0d6a5e98b1042aba (patch) | |
tree | 8e48b622c6296ce5ce377a1489178b2fb084ba69 | |
parent | 572a83c6d546006c33c2cf4195692c8264a74bd2 (diff) | |
download | lite-xl-plugins-3c7fde4346a23f5cdd5c541e0d6a5e98b1042aba.tar.gz lite-xl-plugins-3c7fde4346a23f5cdd5c541e0d6a5e98b1042aba.zip |
Added extra file extensions to language_sh.lua (#145)
-rw-r--r-- | plugins/language_sh.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/language_sh.lua b/plugins/language_sh.lua index 5d7b987..7409f2d 100644 --- a/plugins/language_sh.lua +++ b/plugins/language_sh.lua @@ -3,7 +3,7 @@ local syntax = require "core.syntax" syntax.add { name = "Shell script", - files = { "%.sh$" }, + files = { "%.sh$", "%.bash$", "^%.bashrc$", "^%.bash_profile$", "^%.profile$" }, headers = "^#!.*bin.*sh\n", comment = "#", patterns = { |