Changeset 00de269 for chapter10/kernel/kernel-config.py

Timestamp:

12/06/2023 09:29:45 AM (10 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

xry111/arm64

Children:

2576866

Parents:

73d91ac (diff), 7cce808 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'origin/trunk' into xry111/arm64

File:

• chapter10/kernel/kernel-config.py (modified) (3 diffs)

chapter10/kernel/kernel-config.py

@@ -186 +186 @@
             elif line.startswith('endif'):
                 if_stack = if_stack[:-1]
+
+    if config_buf:
+        r += [parse_config(config_buf)]
+
     return r
 
@@ -248 +252 @@
 for i0, val, i1, title, arrow, key, menu, comment in r:
     rem = max_line
+    is_choice = (val == '(X)')
 
     if val:
@@ -260 +265 @@
         title = title[:rem - 3] + '...'
 
-    b = title.lstrip('YyMmNnHh')
+    b = title
+    if not is_choice:
+        b = b.lstrip('YyMmNnHh.' + "".join(map(str, range(10))))
     a = title[:len(title) - len(b)]
     b0 = "<emphasis role='blue'>" + escape(b[0]) + "</emphasis>"