According to Adrian Phillips <[EMAIL PROTECTED]>: > > Well, I don't believe so at least :-) Here is a patch to check to see > if the font path exists before adding it (please excuse me if there is > a better way to do this but my shell is appalling). > > diff -c -r1.15 makewrapper.sh > *** makewrapper.sh 28 Dec 2001 10:03:40 -0000 1.15 > --- makewrapper.sh 18 Jan 2002 11:11:58 -0000 > *************** > *** 101,107 **** > fi > # > # Set run-time font path > ! if [ -d \$ABISUITE_FONT_HOME ] > then > xset fp+ \$ABISUITE_FONT_PATH 1>/dev/null 2>/dev/null > fi > --- 101,107 ---- > fi > # > # Set run-time font path > ! if [ -d $ABISUITE_FONT_HOME -a -z "`xset -q | grep $ABISUITE_FONT_PATH`" ] > then > xset fp+ \$ABISUITE_FONT_PATH 1>/dev/null 2>/dev/null > fi >
I agree on the idea. But we should then be sur to no remove it... Hub
