2014-10-14 16:02:12 +00:00
|
|
|
# ------------------------------------------------------------------------------
|
|
|
|
# Global variables and functions
|
|
|
|
# ------------------------------------------------------------------------------
|
2014-10-16 16:03:05 +00:00
|
|
|
|
|
|
|
. ./functions.sh
|
|
|
|
|
2014-04-24 13:42:18 +00:00
|
|
|
# The codename of the debian version to install.
|
|
|
|
# jessie = testing, wheezy = stable
|
2014-07-26 02:31:42 +00:00
|
|
|
DEBIANVERSION=$DIST
|
2014-04-24 13:42:18 +00:00
|
|
|
|
2014-10-14 16:02:12 +00:00
|
|
|
# Location to grab debian packages
|
|
|
|
#DEBIAN_MIRROR=http://http.debian.net/debian
|
|
|
|
#DEBIAN_MIRROR=http://mirror.csclub.uwaterloo.ca/debian/
|
|
|
|
DEBIAN_MIRROR=http://ftp.ca.debian.org/debian/
|
|
|
|
|
|
|
|
# XXX: Is this even used?
|
2014-04-24 13:42:18 +00:00
|
|
|
EXTRAPKGS="openssh-clients,screen,vim-nox,less"
|
|
|
|
|
2014-10-14 16:02:12 +00:00
|
|
|
# XXX: Is this even used?
|
2014-04-24 13:42:18 +00:00
|
|
|
QUBESDEBIANGIT="http://dsg.is/qubes/"
|
|
|
|
|
2014-10-14 16:02:12 +00:00
|
|
|
# XXX: Is this even used?
|
2014-04-24 13:42:18 +00:00
|
|
|
# make runs the scripts with sudo -E, so HOME is set to /home/user during
|
|
|
|
# build, which does not exist. We need to write to $HOME/.gnupg so set it
|
|
|
|
# to something valid.
|
|
|
|
HOME=/root
|