Update some scripts

This commit is contained in:
Alexander Gehrke 2023-03-02 16:02:42 +01:00
parent 83fb9a083a
commit 697c7e105f
5 changed files with 33 additions and 24 deletions

View file

@ -1,7 +1,7 @@
#!/bin/zsh
source ${$(realpath "$0"):h:h}/lib/next-in-path.zsh
opts=(
"-Dsbt.ivy.home=$XDG_CACHE_HOME/ivy"
"-Dsbt.ivy.home=$XDG_CACHE_HOME/ivy"
"-Dsbt.boot.directory=$XDG_CACHE_HOME/sbt/boot"
"-Dsbt.preloaded=$XDG_CACHE_HOME/sbt/preloaded"
"-Dsbt.global.base=$XDG_CACHE_HOME/sbt"