# Marc E. Fiuczynski <mef@cs.princeton.edu>
# Copyright (C) 2005-2007 The Trustees of Princeton University
#
-# $Id$
-# $URL$
#
# This will build the bootstrafs-*.tar.bz2 images, which comprises
# -*-python-*-
-# $Id: 030-conf_files 16642 2010-01-18 17:14:40Z thierry $
-# $URL: svn+ssh://thierry@svn.planet-lab.org/svn/MyPLC/trunk/db-config.d/030-conf_files $
#################### conf files
conf_files = [
# CentOS 5
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
# Fedora 10
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
# Fedora 12
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
# Fedora 8
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id$
-// $URL$
-//
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
}
echo "# Generated by myplc.repo.php\n";
-echo '# $Id$' . "\n";
-echo '# $URL$' . "\n";
# we assume the node is not so old that it would not send node_id
# get node family
if ( ! isset($_REQUEST['node_id'])) {
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id$
-// $URL$
-//
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
}
echo "# Generated by yum.php\n";
-echo '# $Id$' . "\n";
-echo '# $URL$' . "\n";
# we assume the node is not so old that it would not send node_id
# get node family
if ( ! isset($_REQUEST['node_id'])) {