diff options
| author |   Petteri Räty <betelgeuse@gentoo.org> | 2008-02-26 16:35:06 +0000 |
|---|---|---|
| committer | Petteri Räty <betelgeuse@gentoo.org> | 2008-02-26 16:35:06 +0000 |
| commit | 78ebc423f48e128694dcb7d9c5b804dcbba38c4b (patch) | |
| tree | 5ab751f721ffde2e14c1e5368fadd0e4e9c26aed | |
| parent | Rename get_virtuals_packages to get_virtual_providers. (diff) | |
| download | java-config-78ebc423f48e128694dcb7d9c5b804dcbba38c4b.tar.gz java-config-78ebc423f48e128694dcb7d9c5b804dcbba38c4b.tar.bz2 java-config-78ebc423f48e128694dcb7d9c5b804dcbba38c4b.zip | |
Make the tool bold in the desktop notification message.
svn path=/projects/java-config-2/trunk/; revision=6045
| -rw-r--r-- | src/run-java-tool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/run-java-tool b/src/run-java-tool index a828c9a..46f804b 100644 --- a/src/run-java-tool +++ b/src/run-java-tool @@ -39,7 +39,7 @@ else echo "* ${tool} is not available for ${vm_handle} on $(uname -m)" >&2 echo "* IMPORTANT: some Java tools are not available on some VMs on some architectures" >&2 if (( ${EUID} != 0 )) && [[ "${DISPLAY}" ]] && type -p notify-send > /dev/null; then - notify-send -i java-icon48 "Gentoo Java Launcher" "${tool} is not available for ${vm_handle} + notify-send -i java-icon48 "Gentoo Java Launcher" "<b>${tool}</b> is not available for ${vm_handle} <a href=\"http://www.gentoo.org/doc/en/java.xml\">Gentoo Java User Guide</a>" fi fi |