-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
executable file
·53 lines (42 loc) · 1.81 KB
/
Makefile
File metadata and controls
executable file
·53 lines (42 loc) · 1.81 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
.PHONY: install uninstall
.DEFAULT_GOAL := help
NAMESPACE := glowfi
NAME := minimal-grub-theme
THEME_NAME := minimal
THEME_DIR := /boot/grub/themes
GRUB_CONFIG := /etc/default/grub
help: ## Show this help
@echo "${NAMESPACE}/${NAME}"
@echo
@fgrep -h "##" $(MAKEFILE_LIST) | \
fgrep -v fgrep | sed -e 's/## */##/' | column -t -s##
install: ## Install theme
@echo "INFO: Saving config as ${GRUB_CONFIG}.backup"
@sudo cp -f ${GRUB_CONFIG} ${GRUB_CONFIG}.backup
@echo "INFO: Copying '${THEME_NAME}' to '${THEME_DIR}'"
@sudo mkdir -p ${THEME_DIR}
@sudo rm -rf ${THEME_DIR}/${THEME_NAME}
@sudo cp -rf ./${THEME_NAME} ${THEME_DIR}
@echo "INFO: Setting 'GRUB_BACKGROUND' to '${THEME_DIR}/${THEME_NAME}/background.png'"
@if grep "GRUB_BACKGROUND=" ${GRUB_CONFIG} 2>&1 >/dev/null; then \
sudo sed -i "s|.*GRUB_BACKGROUND=.*|GRUB_BACKGROUND=\"${THEME_DIR}/${THEME_NAME}/background.png\"|" ${GRUB_CONFIG}; \
else \
sudo echo "GRUB_BACKGROUND=\"${THEME_DIR}/${THEME_NAME}/background.png\"" | sudo tee -a ${GRUB_CONFIG}; \
fi
@echo "INFO: Setting 'GRUB_THEME' to '${THEME_DIR}/${THEME_NAME}/theme.txt'"
@if grep "GRUB_THEME=" ${GRUB_CONFIG} 2>&1 >/dev/null; then \
sudo sed -i "s|.*GRUB_THEME=.*|GRUB_THEME=\"${THEME_DIR}/${THEME_NAME}/theme.txt\"|" ${GRUB_CONFIG}; \
else \
sudo echo "GRUB_THEME=\"${THEME_DIR}/${THEME_NAME}/theme.txt\"" | sudo tee -a ${GRUB_CONFIG}; \
fi
@echo "INFO: Updating grub"
@sudo grub-mkconfig -o /boot/grub/grub.cfg
uninstall: ## Uninstall theme
@echo "INFO: Removing '${THEME_NAME}' from '${THEME_DIR}'"
@sudo rm -rf ${THEME_DIR}/${THEME_NAME}
@echo "INFO: Setting 'GRUB_THEME' to ''"
@if grep "GRUB_THEME=" ${GRUB_CONFIG} 2>&1 >/dev/null; then \
sudo sed -i "s|.*GRUB_THEME=.*|GRUB_THEME=\"\"|" ${GRUB_CONFIG}; \
fi
@echo "INFO: Updating grub"
@sudo grub-mkconfig -o /boot/grub/grub.cfg