diff options
| -rw-r--r-- | hosts/jones | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/hosts/jones b/hosts/jones new file mode 100644 index 0000000..66098c0 --- /dev/null +++ b/hosts/jones @@ -0,0 +1,33 @@ +#!/bin/sh + +mountpoint="/mnt/usbstick" + +# This may change each time you switch USB stick on the host +usbdev_host="/dev/sda" + +# These usually do not change +usbdev_target="/dev/sda" +usbdev_grub="hd0" + +# Ordered list of all APT sources (if different from DEFAULT) +aptsources="base security jones" + +# URI of base APT repository (if different from DEFAULT) +# TODO: Check if cdebootstrap (like debootstrap) can somehow use file:/ URI +aptsource_base_host="file:/pub/mirrors/debian" + +# cdebootstrap seem to only support http URI (unlike chroot'et aptitude) +aptsource_base_cdebootstrap="http://proxy:9999/debian" + +# Default list of components (if not just "main") +#aptsource_base_components="main contrib non-free" + +# URI and components of additional APT sources (if different from DEFAULT) +aptsource_security_host="file:/pub/mirrors/debian-security" +aptsource_jones_host="http://proxy:9999/jones" +#aptsource_jones_components="kernels misc" + +# Device name (or NFS share) to mount to "/pub" +pubdev_host="192.168.102.252:/pub" +# Device type for "/pub" +pubfs="nfs" |