Peppermint
/
debian-cd-clone
mirror of https://salsa.debian.org/images-team/debian-cd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Drop grub-legacy from the core package list 

Let's save some space
This commit is contained in:
Steve McIntyre 2019-01-10 21:42:06 +00:00
parent 10f26b6523
commit 9f834744a6
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
CONF.sh
View File

@ -85,9 +85,10 @@ fi
# for the daily d-i builds. If not set, uses the official d-i images from
# the Debian mirror.
#export DI_WWW_HOME=default
export DI_WWW_HOME=http://jack/d-i/
# Version number, "2.2 r0", "2.2 r1" etc.
export DEBVERSION="9.0"
export DEBVERSION="10.0-SBHACK"
# Official or non-official set.
# NOTE: THE "OFFICIAL" DESIGNATION IS ONLY ALLOWED FOR IMAGES AVAILABLE
@ -237,7 +238,7 @@ ATTEMPT_FALLBACK=yes
# STICK4GB: 4GB USB stick or similar
# STICK8GB: 8GB USB stick or similar
# CUSTOM: up to you - specify a size to go with it (in 2K blocks)
export DISKTYPE=CD
#export DISKTYPE=CD
#export DISKTYPE=CUSTOM
#export CUSTOMSIZE=XXXX
# If you want to over-ride this choice (e.g. to make a larger version of a given disk),