From 8f9356efa1e869f18c509017d32ed04cba101474 Mon Sep 17 00:00:00 2001 From: Michael Smith Date: Sun, 8 Jul 2007 21:32:40 +0000 Subject: [PATCH] Added convenience script for setting up catalogs. --- releasetools/catalog-install | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 releasetools/catalog-install diff --git a/releasetools/catalog-install b/releasetools/catalog-install new file mode 100755 index 000000000..7dcda080d --- /dev/null +++ b/releasetools/catalog-install @@ -0,0 +1,25 @@ +#!/bin/sh +# $Id$ +if [ "$1" = "uninstall" ] +then + if [ -f ./uninstall.sh ] + then + ./uninstall.sh --batch + else + echo + echo "Nothing to uninstall." + echo + echo "To set up catalogs, first run $0" + echo "without the 'uninstall' argument." + exit 1 + fi +else + echo + make install.sh \ + && echo \ + && ./install.sh --batch \ + && . $(pwd)/.profile.incl \ + && echo "OK, did . $(pwd)/.profile.incl" \ + && echo "to source environment." \ + && ./test.sh +fi -- 2.40.0