From: Colin P. Mccabe <colin@cmccabe.xyz>
Date: Wed, 22 Nov 2017 18:05:37 +0000 (-0800)
Subject: Rework how gradle.properties is handled
X-Git-Url: http://club.cc.cmu.edu/~cmccabe/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7faef1f72ef1f14d14e8922690ee915ef4700812;p=cmccabe-etc

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
--- 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