2023-01-19 11:05:14 -01:00
|
|
|
# Main options
|
|
|
|
|
title-text: ""
|
|
|
|
|
desktop-image: "background.png"
|
|
|
|
|
desktop-color: "#000000"
|
|
|
|
|
terminal-font: "Terminus Regular 14"
|
|
|
|
|
terminal-box: "terminal_box_*.png"
|
|
|
|
|
terminal-left: "0"
|
|
|
|
|
terminal-top: "0"
|
|
|
|
|
terminal-width: "100%"
|
|
|
|
|
terminal-height: "100%"
|
|
|
|
|
terminal-border: "0"
|
|
|
|
|
|
|
|
|
|
# Boot menu
|
|
|
|
|
+ boot_menu {
|
|
|
|
|
left = 15%
|
|
|
|
|
top = 40%
|
|
|
|
|
width = 85%
|
|
|
|
|
height = 65%
|
2024-01-08 12:57:45 -01:00
|
|
|
item_font = "Terminus Regular 14"
|
2023-01-19 11:05:14 -01:00
|
|
|
item_color = "#cccccc"
|
|
|
|
|
selected_item_color = "#ffffff"
|
|
|
|
|
icon_width = 36
|
|
|
|
|
icon_height = 36
|
|
|
|
|
item_icon_space = 20
|
|
|
|
|
item_height = 40
|
|
|
|
|
item_padding = 2
|
|
|
|
|
item_spacing = 10
|
|
|
|
|
selected_item_pixmap_style = "select_*.png"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Countdown label
|
|
|
|
|
# You can change the name of default starting OS here
|
|
|
|
|
+ label {
|
|
|
|
|
left = 15%
|
|
|
|
|
top = 31%
|
|
|
|
|
align = "center"
|
|
|
|
|
id = "__timeout__"
|
|
|
|
|
text = "Peppermint will start in %d seconds"
|
|
|
|
|
color = "#cccccc"
|
2024-01-08 12:57:45 -01:00
|
|
|
font = "Terminus Regular 14"
|
2023-01-19 11:05:14 -01:00
|
|
|
}
|
