diff --git a/.bashrc b/.bashrc index 84bf8df..11ed8b8 100644 --- a/.bashrc +++ b/.bashrc @@ -19,6 +19,8 @@ TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' PROMPT_COMMAND="$TITLEBAR; history -a; history -n" # don't add commands starting with space to the history HISTCONTROL=ignorespace +# use nicer fonts in Java apps +export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on" # If a private bin directory exists, add it to PATH [[ -d ~/bin ]] && PATH="$PATH:~/bin"