Merge pull request #387 from serkonda7/bait-extension-patch

bait: change file extension to .bt
boyter · May 2, 2023 · 93bc8be · 93bc8be
2 parents 14b9b22 + bba70a8
commit 93bc8be
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/LANGUAGES.md b/LANGUAGES.md
@@ -18,7 +18,7 @@ ATS (dats,sats,ats,hats)
 Autoconf (in)
 AutoHotKey (ahk)
 AWK (awk)
-bait (bait)
+bait (bt)
 BASH (bash,bash_login,bash_logout,bash_profile,bashrc,.bash_login,.bash_logout,.bash_profile,.bashrc)
 Basic (bas)
 Batch (bat,btm,cmd)

diff --git a/languages.json b/languages.json
@@ -507,7 +507,7 @@
  "== "
  ],
  "extensions": [
- "bait"
+ "bt"
  ],
  "keywords": [
  "and",
@@ -538,6 +538,10 @@
  "end": "'",
  "start": "'"
  },
+ {
+ "end": "\"",
+ "start": "\""
+ },
  {
  "end": "`",
  "start": "`"