|
|
@ -1707,7 +1707,7 @@ prompt_dropbox() {
|
|
|
|
# print Java version number
|
|
|
|
# print Java version number
|
|
|
|
prompt_java_version() {
|
|
|
|
prompt_java_version() {
|
|
|
|
local java_version
|
|
|
|
local java_version
|
|
|
|
java_version=$(java -fullversion 2>&1 | cut -d '"' -f 2)
|
|
|
|
java_version=$(java -fullversion 2>/dev/null | cut -d '"' -f 2)
|
|
|
|
|
|
|
|
|
|
|
|
if [[ -n "$java_version" ]]; then
|
|
|
|
if [[ -n "$java_version" ]]; then
|
|
|
|
"$1_prompt_segment" "$0" "$2" "red" "white" "$java_version" "JAVA_ICON"
|
|
|
|
"$1_prompt_segment" "$0" "$2" "red" "white" "$java_version" "JAVA_ICON"
|
|
|
|