2023-06-04 12:12:22 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
import os, sys, re
|
|
|
|
|
|
|
|
# https://askubuntu.com/questions/1155064/grub2-create-2nd-boot-entry-with-different-kernel-command-line-options-in-grub
|
|
|
|
|
|
|
|
menuentry_start = "menuentry"
|
|
|
|
|
|
|
|
def extract_menuentry(infile):
|
|
|
|
in_menuentry = False
|
|
|
|
for line in infile.readlines():
|
|
|
|
if in_menuentry:
|
|
|
|
if line.strip() == "}":
|
|
|
|
in_menuentry = False
|
|
|
|
print(line.rstrip())
|
|
|
|
pass
|
|
|
|
else:
|
|
|
|
print(line.rstrip())
|
|
|
|
pass
|
|
|
|
pass
|
|
|
|
else:
|
|
|
|
if line.startswith(menuentry_start):
|
|
|
|
in_menuentry = True
|
|
|
|
match = re.search(r"menuentry '[^']+' (.*)", line)
|
2023-06-08 19:33:47 +02:00
|
|
|
print("menuentry '%s' %s" % (os.environ.get('GRUB_ALT_NAME', 'SpectreOS Linux {}'.format(sys.argv[1])), match.group(1)))
|
2023-06-04 12:12:22 +02:00
|
|
|
pass
|
|
|
|
pass
|
|
|
|
pass
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
extract_menuentry(sys.stdin)
|
|
|
|
pass
|