git://git.onelab.eu
/
nodeimage.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
55eef2e
)
eradicate svn keywords
author
Thierry Parmentelat
<thierry.parmentelat@sophia.inria.fr>
Tue, 27 Mar 2012 14:28:33 +0000
(16:28 +0200)
committer
Thierry Parmentelat
<thierry.parmentelat@sophia.inria.fr>
Tue, 27 Mar 2012 14:28:33 +0000
(16:28 +0200)
build.sh
patch
|
blob
|
history
db-config.d/030-conf_files_node_update
patch
|
blob
|
history
nodeconfig/yum/centos5/yum.conf
patch
|
blob
|
history
nodeconfig/yum/f10/yum.conf
patch
|
blob
|
history
nodeconfig/yum/f12/yum.conf
patch
|
blob
|
history
nodeconfig/yum/f8/yum.conf
patch
|
blob
|
history
nodeconfig/yum/myplc.repo.php
patch
|
blob
|
history
nodeconfig/yum/yum.php
patch
|
blob
|
history
diff --git
a/build.sh
b/build.sh
index
4fb0ae2
..
e3c842b
100755
(executable)
--- a/
build.sh
+++ b/
build.sh
@@
-6,8
+6,6
@@
# Marc E. Fiuczynski <mef@cs.princeton.edu>
# Copyright (C) 2005-2007 The Trustees of Princeton University
#
# 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
#
# This will build the bootstrafs-*.tar.bz2 images, which comprises
diff --git
a/db-config.d/030-conf_files_node_update
b/db-config.d/030-conf_files_node_update
index
69ebcf4
..
36362fb
100644
(file)
--- a/
db-config.d/030-conf_files_node_update
+++ b/
db-config.d/030-conf_files_node_update
@@
-1,6
+1,4
@@
# -*-python-*-
# -*-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 = [
#################### conf files
conf_files = [
diff --git
a/nodeconfig/yum/centos5/yum.conf
b/nodeconfig/yum/centos5/yum.conf
index
3dc1b2a
..
0dc92b1
100644
(file)
--- a/
nodeconfig/yum/centos5/yum.conf
+++ b/
nodeconfig/yum/centos5/yum.conf
@@
-1,5
+1,4
@@
# CentOS 5
# CentOS 5
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
diff --git
a/nodeconfig/yum/f10/yum.conf
b/nodeconfig/yum/f10/yum.conf
index
ab30e9f
..
04d950a
100644
(file)
--- a/
nodeconfig/yum/f10/yum.conf
+++ b/
nodeconfig/yum/f10/yum.conf
@@
-1,5
+1,4
@@
# Fedora 10
# Fedora 10
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
diff --git
a/nodeconfig/yum/f12/yum.conf
b/nodeconfig/yum/f12/yum.conf
index
5b6d3a6
..
cd6fefe
100644
(file)
--- a/
nodeconfig/yum/f12/yum.conf
+++ b/
nodeconfig/yum/f12/yum.conf
@@
-1,5
+1,4
@@
# Fedora 12
# Fedora 12
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
diff --git
a/nodeconfig/yum/f8/yum.conf
b/nodeconfig/yum/f8/yum.conf
index
8e8e63f
..
8f539ab
100644
(file)
--- a/
nodeconfig/yum/f8/yum.conf
+++ b/
nodeconfig/yum/f8/yum.conf
@@
-1,5
+1,4
@@
# Fedora 8
# Fedora 8
-# $URL$
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
[main]
# Overwriting the default yum repos dir
reposdir=/etc/yum.myplc.d
diff --git
a/nodeconfig/yum/myplc.repo.php
b/nodeconfig/yum/myplc.repo.php
index
d06da92
..
11b48fa
100644
(file)
--- a/
nodeconfig/yum/myplc.repo.php
+++ b/
nodeconfig/yum/myplc.repo.php
@@
-5,9
+5,6
@@
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id$
-// $URL$
-//
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
@@
-26,8
+23,6
@@
if (isset($_REQUEST['gpgcheck'])) {
}
echo "# Generated by myplc.repo.php\n";
}
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'])) {
# we assume the node is not so old that it would not send node_id
# get node family
if ( ! isset($_REQUEST['node_id'])) {
diff --git
a/nodeconfig/yum/yum.php
b/nodeconfig/yum/yum.php
index
81dd1b6
..
f116227
100644
(file)
--- a/
nodeconfig/yum/yum.php
+++ b/
nodeconfig/yum/yum.php
@@
-5,9
+5,6
@@
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id$
-// $URL$
-//
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
@@
-26,8
+23,6
@@
if (isset($_REQUEST['gpgcheck'])) {
}
echo "# Generated by yum.php\n";
}
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'])) {
# we assume the node is not so old that it would not send node_id
# get node family
if ( ! isset($_REQUEST['node_id'])) {