From 527d236ba4d41270f00368d1eff85c359340f59e Mon Sep 17 00:00:00 2001 From: Dan Chao Date: Mon, 1 Jul 2024 09:10:07 -0700 Subject: [PATCH] Add Git ignore-revs file --- .git-blame-ignore-revs | 2 ++ DEVELOPMENT.adoc | 2 ++ 2 files changed, 4 insertions(+) create mode 100644 .git-blame-ignore-revs diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs new file mode 100644 index 00000000..e8d52f68 --- /dev/null +++ b/.git-blame-ignore-revs @@ -0,0 +1,2 @@ +# Auto-format Kotlin code +816cd483c8adf4c04e14236c173a1dc6bd2579ea diff --git a/DEVELOPMENT.adoc b/DEVELOPMENT.adoc index 0f42d127..f33d484d 100644 --- a/DEVELOPMENT.adoc +++ b/DEVELOPMENT.adoc @@ -13,6 +13,8 @@ If the project is opened but not imported, look for a popup in the lower right c and click its "Import Gradle Project" link. . (recommended) Install {uri-gng}[gng] + _gng_ enables to run Gradle commands with `gw` (instead of `./gradlew`) from any subdirectory. +. (recommended) Set up Git ignore-revs + +`git config blame.ignoreRevsFile .git-blame-ignore-revs` . (recommended) Install {uri-jenv}[jenv] and plugins + _jenv_ use specific JDK versions in certain subdirectories. _Pkl_ comes with a `.java-version` file specifying JDK 17. + Enable _jenv_ plugins for better handling by `gradle`: