scripts/create-properties.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/bash

# This file creates the properties file for jesterpm-build-tools

pushd `dirname $0` > /dev/null
cd ..
BUILDTOOLSDIR=`pwd`
popd > /dev/null

cat > $HOME/.jesterpm-build-tools.properties << EOF
jesterpm.buildtools.root=${BUILDTOOLSDIR}
EOF