Add at to pool

pop-os · Sep 14, 2018 · 0de4e0f · 0de4e0f
1 parent 8aff886
commit 0de4e0f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/config/pop-os/18.04.mk b/config/pop-os/18.04.mk
@@ -51,6 +51,7 @@ RM_PKGS=\
 
 # Packages not installed, but that may need to be discovered by the installer
 MAIN_POOL=\
+	at \
 	ethtool \
 	grub-efi-amd64 \
 	grub-efi-amd64-bin \

diff --git a/config/pop-os/18.10.mk b/config/pop-os/18.10.mk
@@ -51,6 +51,7 @@ RM_PKGS=\
 
 # Packages not installed, but that may need to be discovered by the installer
 MAIN_POOL=\
+	at \
 	ethtool \
 	grub-efi-amd64 \
 	grub-efi-amd64-bin \