From 3b9b77d6c7a23b1ad4ea764a9ab6ed5f5ca5aa31 Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Wed, 9 Apr 2003 08:59:03 +0000
Subject: [PATCH] minor fix from Han

---
 util/fluxbox-generate_menu | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/util/fluxbox-generate_menu b/util/fluxbox-generate_menu
index b8a3bd36..af4c11b5 100755
--- a/util/fluxbox-generate_menu
+++ b/util/fluxbox-generate_menu
@@ -22,13 +22,14 @@
 # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 # DEALINGS IN THE SOFTWARE.
 #
-# $Id: fluxbox-generate_menu,v 1.27 2003/04/08 09:39:37 fluxgen Exp $
+# $Id: fluxbox-generate_menu,v 1.28 2003/04/09 08:59:03 fluxgen Exp $
 
 #
 # Portability notes:
 # To guarantee this script works on all platforms that support fluxbox
 # please keep the following restrictions in mind:
 #
+# don't use [ -e file ] use [ -r file ]
 # don't use $(), use ``
 # don't use ~, use ${HOME}
 # don't use id -u, use whoami
@@ -485,7 +486,7 @@ HOMEPAGE="fluxbox.org"
 USERMENU="${HOME}/.fluxbox/usermenu"
 
 # Read the menuconfig file if it exists or else create it.
-if [[ -e ${HOME}/.fluxbox/menuconfig ]];then
+if [ -r ${HOME}/.fluxbox/menuconfig ];then
       . ${HOME}/.fluxbox/menuconfig
 else
     if [ ! "$WHOAMI" = root ];then # this is only for users.