From: Colin P. Mccabe 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;hp=eae97aa38591cdb91be8a5e42c4a6c67bf4afd9e;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