mirror/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2026-05-09 16:23:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'fix_grub-pc' into 'master'

Browse Source 
buildserver: fix grub-pc install

See merge request fdroid/fdroidserver!1816
This commit is contained in:
Jochen Sprickerhof
2026-05-01 17:50:53 +02:00
parent 8ee03b2ada eb9b6aaeed
commit 1baa7f6408
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
buildserver/provision-apt-get-install
View File

@@ -55,6 +55,8 @@ Components: main
Signed-By: /usr/share/keyrings/debian-archive-keyring.pgp
EOF
echo grub-pc grub-pc/install_devices multiselect /dev/vda | debconf-set-selections
apt-get update || apt-get update
# purge things that might come from the base box, but we don't want