From 0cef365f1096ce6ce2f58ab4f2f9ce34e4a672e3 Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Sat, 15 Jul 2023 17:43:42 +0200 Subject: [PATCH] debian: minor rename --- debian.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian.sh b/debian.sh index 4faf7d4..ed5fa8c 100755 --- a/debian.sh +++ b/debian.sh @@ -46,7 +46,7 @@ skipped() { echo "${yellow}SKIPPED:${sgr0} ${1}" } -install_packages() { +apt_install() { $cmd apt update $cmd apt install -y \ apt-file \ @@ -234,8 +234,8 @@ deploy_dotfiles() { } execute() { - heading "Install packages" - install_packages + heading "Install APT packages" + apt_install heading "Disable GRUB timeout" grub_disable_timeout