Added new ignored tokens for rEFInd versions 0.14.1 and 0.14.12

Venom1991 · Apr 14, 2024 · c07955c · c07955c
1 parent 074d973
commit c07955c
Show file tree

Hide file tree

Showing 6 changed files with 323 additions and 310 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -3,7 +3,7 @@
     "configurations": [
         {
             "name": "Python: Module",
-            "type": "python",
+            "type": "debugpy",
             "request": "launch",
             "console": "integratedTerminal",
             "module": "refind_btrfs",

diff --git a/setup.cfg b/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = refind_btrfs
-version = 0.6.1
+version = 0.6.2
 description = Generate rEFInd manual boot stanzas from Btrfs snapshots
 long_description = file: README.md
 keywords = rEFInd, btrfs

diff --git a/setup.py b/setup.py
@@ -28,7 +28,7 @@
 
 setuptools.setup(
     name="refind-btrfs",
-    version="0.6.1",
+    version="0.6.2",
     author="Luka Žaja",
     author_email="[email protected]",
     description="Generate rEFInd manual boot stanzas from Btrfs snapshots",

diff --git a/src/refind_btrfs/boot/antlr4/RefindConfigLexer.g4 b/src/refind_btrfs/boot/antlr4/RefindConfigLexer.g4
@@ -29,6 +29,7 @@ COMMENT : '#' (~[\n])* NEWLINE? -> skip ;
 IGNORED_OPTION
     : (
           'also_scan_dirs'
+        | 'also_scan_tools'
         | 'banner'
         | 'banner_scale'
         | 'big_icon_size'
@@ -53,6 +54,7 @@ IGNORED_OPTION
         | 'font'
         | 'hideui'
         | 'icons_dir'
+        | 'linux_prefixes'
         | 'log_level'
         | 'max_tags'
         | 'mouse_size'

diff --git a/src/refind_btrfs/boot/antlr4/RefindConfigLexer.interp b/src/refind_btrfs/boot/antlr4/RefindConfigLexer.interp