set defaults for the flavour category
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 21 Jan 2010 12:03:30 +0000 (12:03 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 21 Jan 2010 12:03:30 +0000 (12:03 +0000)
myplc.spec

index f62b235..9a0d588 100644 (file)
@@ -142,8 +142,10 @@ chmod 444 ${RPM_BUILD_ROOT}/etc/plc_sliceinitscripts/*
 
 # Install configuration file
 echo "* myplc: Installing configuration file"
-install -D -m 444 default_config.xml ${RPM_BUILD_ROOT}/etc/planetlab/default_config.xml
 install -D -m 444 plc_config.dtd ${RPM_BUILD_ROOT}/etc/planetlab/plc_config.dtd
+sed -e "s,@PLDISTRO@,%{pldistro},g" -e "s,@FCDISTRO@,%{fcdistro},g" -e "s,@ARCH@,%{arch},g" \
+    default_config.xml > ${RPM_BUILD_ROOT}/etc/planetlab/default_config.xml
+chmod 444 ${RPM_BUILD_ROOT}/etc/planetlab/default_config.xml
 
 echo "* Installing bashrc convenience"
 install -D -m 644 bashrc ${RPM_BUILD_ROOT}/usr/share/myplc/bashrc