From f72b83f6bec4b1758023cd2efb754e00bf7f18ea Mon Sep 17 00:00:00 2001 From: Marcus Lagergren <1062473+lagergren@users.noreply.github.com> Date: Sat, 23 Dec 2023 14:00:02 +0100 Subject: [PATCH] Added temporary script for setting up the XTC GitHub Maven repositories. --- setup-xtc-repo.sh | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 setup-xtc-repo.sh diff --git a/setup-xtc-repo.sh b/setup-xtc-repo.sh new file mode 100755 index 0000000..a505af2 --- /dev/null +++ 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