@@ -22,13 +22,14 @@ # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
# 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.