Theming: move $theme_name out of theming.cfg

boot/grub/grub.cfg

@@ -25,8 +25,14 @@ export imgdevpath rootuuid
 set pager=1
 
 # Get theming
-if [ -f "${prefix}/theming.cfg" ]; then
+if [ -f "${prefix}/mytheme.cfg" ]; then
-	#source "${prefix}/theming.cfg"
+	if [ -f "${prefix}/theming.cfg" ]; then
+		# load theme_name
+		source "${prefix}/mytheme.cfg"
+		
+		# set theme
+		source "${prefix}/theming.cfg"
+	fi
 fi
 
 # Start the menuentries

boot/grub/mytheme.cfg

@@ -0,0 +1,2 @@
+set theme_name="Cyberpunk"
+export theme_name

boot/grub/theming.cfg

@@ -1,5 +1,5 @@
-
+# Make sure to have ${theme_name} defined!
-set theme_name="Cyberpunk"
+#
 insmod jpeg
 insmod png