From 4ad9abf30e47c5668192af851fb51e20da266ba1 Mon Sep 17 00:00:00 2001 From: Mark Huang Date: Thu, 6 Jul 2006 02:44:22 +0000 Subject: [PATCH] - source /etc/planetlab/mkfedora.conf if it exists (to configure a better set of default mirrors) --- mkfedora | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/mkfedora b/mkfedora index b58eb6b3..c6ed1833 100755 --- a/mkfedora +++ b/mkfedora @@ -13,7 +13,7 @@ # Mark Huang # Copyright (C) 2004-2006 The Trustees of Princeton University # -# $Id: mkfedora,v 1.13 2006/04/26 01:59:59 mlhuang Exp $ +# $Id: mkfedora,v 1.14 2006/07/04 16:59:18 mlhuang Exp $ # export PATH=/sbin:/bin:/usr/sbin:/usr/bin @@ -47,6 +47,11 @@ exclude=() # Exclude kernel* (and related) packages from all repositories except bootstrap exclude_kernel= +# Local overrides (usually a better set of mirrors to choose from) +if [ -f /etc/planetlab/mkfedora.conf ] ; then + . /etc/planetlab/mkfedora.conf +fi + usage() { echo "Usage: mkfedora [OPTION]... [basedir]" -- 2.47.0