summarylogtreecommitdiffstats
path: root/gumtree.sh
blob: 9b6065ebc9f5b3120793a1f6d70fdc23e2347881 (plain)
1
2
#!/bin/bash -e
JAVA_HOME="/usr/lib/jvm/java-17-openjdk" PATH="$PATH:/usr/lib/gumtree-tree-sitter-git" "/usr/lib/gumtree/bin/gumtree" "$@"