options: filter _module.args (#15)

NuschtOS · Oct 16, 2024 · 76458c2 · 76458c2
1 parent 6be8fb9
commit 76458c2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ixx/src/action/index.rs b/ixx/src/action/index.rs
@@ -39,6 +39,11 @@ pub(crate) fn index(module: IndexModule) -> anyhow::Result<()> {
     let options: HashMap<String, option::Option> = serde_json::from_reader(file)?;
 
     for (name, option) in options {
+      // internal options which cannot be hidden when importing existing options.json
+      if name == "_module.args" {
+        continue;
+      }
+
       let name = match &scope.options_prefix {
         Some(prefix) => format!("{}.{}", prefix, name),
         None => name,