jegardai
/
scripts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Preseed: mount the virt LV for Docker

This commit is contained in:
Jeremy Gardais 2019-03-05 18:48:15 +01:00
parent 17353bfbfa
commit 6fb36e2159
Signed by: jegardai
GPG Key ID: E759BAA22501AF32
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
debian/gaming.station.preseed vendored
View File

@ -198,12 +198,11 @@ d-i partman-auto/expert_recipe string \
mountpoint{ / } \ mountpoint{ / } \
. \ . \
10000 50000 20000 ext4 \ 10000 50000 20000 ext4 \
$lvmok{ } lv_name{ lv_virt } \ $lvmok{ } lv_name{ lv_docker } \
in_vg { sys } \ in_vg { srog } \
$primary{ } \
method{ format } format{ } \ method{ format } format{ } \
use_filesystem{ } filesystem{ ext4 } \ use_filesystem{ } filesystem{ ext4 } \
mountpoint{ /mnt/virt } \ mountpoint{ /var/lib/docker } \
. \ . \
50% 2000 75% linux-swap \ 50% 2000 75% linux-swap \
$lvmok{ } lv_name{ lv_swap } \ $lvmok{ } lv_name{ lv_swap } \

2
winboot
View File

@ -1,7 +1,7 @@
#!/bin/sh #!/bin/sh
GRUB_DEFAULT_PATH='/etc/default/grub' GRUB_DEFAULT_PATH='/etc/default/grub'
WIN_GRUB="2" WIN_GRUB="3"
if grep -q -E -- "^GRUB_DEFAULT=saved" "${GRUB_DEFAULT_PATH}" if grep -q -E -- "^GRUB_DEFAULT=saved" "${GRUB_DEFAULT_PATH}"
then then