debian: minor rename

This commit is contained in:
Fernando Schauenburg 2023-07-15 17:43:42 +02:00
parent 5c754d3a96
commit 0cef365f10

View file

@ -46,7 +46,7 @@ skipped() {
echo "${yellow}SKIPPED:${sgr0} ${1}" echo "${yellow}SKIPPED:${sgr0} ${1}"
} }
install_packages() { apt_install() {
$cmd apt update $cmd apt update
$cmd apt install -y \ $cmd apt install -y \
apt-file \ apt-file \
@ -234,8 +234,8 @@ deploy_dotfiles() {
} }
execute() { execute() {
heading "Install packages" heading "Install APT packages"
install_packages apt_install
heading "Disable GRUB timeout" heading "Disable GRUB timeout"
grub_disable_timeout grub_disable_timeout