#!/usr/bin/env bash # # Summary: Set or show the shell-specific Java options # # Usage: jenv shell # jenv shell --unset # # Sets a shell-specific Java options by setting the `JENV_OPTIONS' # environment variable in your shell. This options overrides local # application-specific options and the global options. # # should be a string matching a Java options known to jenv. set -e [ -n "$JENV_DEBUG" ] && set -x options="$1" if [ -z "$options" ]; then if [ -z "$JENV_OPTIONS" ]; then echo "jenv: no shell-specific options configured" >&2 exit 1 else echo "echo \"\$JENV_OPTIONS\"" exit fi fi if [ "$options" = "--unset" ]; then case "$JENV_SHELL" in bash|zsh) echo "unset JENV_OPTIONS" ;; fish) echo "set -e JENV_OPTIONS || true" ;; esac exit fi echo "export JENV_OPTIONS=\"${options}\""