Added temporary script for setting up the XTC GitHub Maven repositories.

xtclang · Dec 23, 2023 · f72b83f · f72b83f
1 parent 81cd181
commit f72b83f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/setup-xtc-repo.sh b/setup-xtc-repo.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+rm -fr ~/.gradle/init.d/xtc*
+curl "https://raw.githubusercontent.com/xtclang/xvm/xtc-first-plugin/gradle/config/repos/xtc-repo-minimal.init.gradle.kts.template" >~/.gradle/init.d/xtc-repo-minimal.init.gradle.kts