Rework how gradle.properties is handled

Since gradle keeps a lot of temporary junk in the .gradle directory, we
don't want that directory to be a symlink into our git repo.

diff --git a/.gradle/gradle.properties b/.gradle.properties
similarity index 100%
rename from .gradle/gradle.properties
rename to .gradle.properties

diff --git a/install-symlinks.sh b/install-symlinks.sh
index 820d5b3..3ca68a4 100755 (executable)
--- a/install-symlinks.sh
+++ b/install-symlinks.sh
@@ -41,7 +41,7 @@ for file in ${BASEDIR}/.[^.]*; do
        # skip files which we don't want to link
        [ "${basefile}" == ".git" ] && continue
        [ "${basefile}" == ".gitignore" ] && continue
-       #[ "${basefile}" == ".ssh" ] && continue
+       [ "${basefile}" == ".ssh" ] && continue
 
        pushd .. > /dev/null
        if [ -L ${basefile} ]; then
@@ -65,3 +65,10 @@ if [ $copy_ssh_old -eq 1 ]; then
     echo "chmod 600 ../.ssh/config"
     chmod 600 ../.ssh/*
 fi
+
+# Install .gradle/.gradle.properties
+mkdir -p ../.gradle
+pushd ../.gradle
+rm -f ./gradle.properties
+ln -s ../.gradle.properties  ./gradle.properties 
+popd