modules/schroot/files/schroot-dsa/config

   1 # Settings for "dsa" profile.
   2
   3 ##
   4 ## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
   5 ## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
   6 ##
   7
   8 FSTAB="/etc/schroot/dsa/fstab"
   9 [ -e "$FSTAB" ] || FSTAB="/etc/schroot/default/fstab"
  10
  11 COPYFILES="/etc/schroot/dsa/copyfiles"
  12 [ -e "$COPYFILES" ] || COPYFILES="/etc/schroot/default/copyfiles"
  13
  14 NSSDATABASES="/etc/schroot/dsa/nssdatabases"
  15 [ -e "$NSSDATABASES" ] || NSSDATABASES="/etc/schroot/default/nssdatabases"
  16
  17
  18 # added by weasel:
  19 if [ "$CHROOT_SESSION_PURGE" = "true" ]; then
  20     case $CHROOT_DESCRIPTION in
  21         "["*-*_*-dchroot"]"*)
  22             chroot_type="$CHROOT_DESCRIPTION"; chroot_type="${chroot_type#\[}"; chroot_type="${chroot_type%%]*}"
  23             suitevariant_arch_tuple="${chroot_type%%-dchroot}"
  24             suitevariant=${suitevariant_arch_tuple%_*}
  25             SUITE_ARCH=${suitevariant_arch_tuple##*_}
  26             SUITE_BASE=${suitevariant%-*}
  27             SUITE_VARIANT=${suitevariant##*-}
  28         ;;
  29         "["*_*-dchroot"]"*)
  30             chroot_type="$CHROOT_DESCRIPTION"; chroot_type="${chroot_type#\[}"; chroot_type="${chroot_type%%]*}"
  31             suite_arch_tuple="${chroot_type%%-dchroot}"
  32             SUITE_ARCH=${suite_arch_tuple##*_}
  33             SUITE_BASE="${suite_arch_tuple%%_*}"
  34             SUITE_VARIANT=""
  35         ;;
  36         *)
  37             if [ "$STAGE" = "setup-start" ]; then
  38                echo >&2 "Unable to parse chroot description for what kind of chroot you want."
  39                exit 1
  40             fi
  41         ;;
  42     esac
  43 fi
  44
  45 CHROOT_FILE_UNPACK_DIR=/srv/chroot/schroot-unpack
  46
  47 if [ -e /etc/schroot/dsa/default-mirror ]; then
  48     MIRROR=$(cat /etc/schroot/dsa/default-mirror )
  49 fi
  50 MIRROR=${MIRROR:-ftp.debian.org}
  51
  52 if [ "$(basename "$0")" = "00check" ] &&
  53    [ "$CHROOT_TYPE" = "file" ] &&
  54    [ "$STAGE" = "setup-start" ]; then
  55         echo "Untarring chroot environment.  This might take a minute or two."
  56 fi