--- old-const.py 2009-11-02 16:30:17.000000000 +0000 +++ const.py 2009-11-01 23:11:32.000000000 +0000 @@ -52,14 +52,17 @@ USE_XSPLASH = os.path.exists("/usr/bin/xsplash") # is grub2 installed, if yes, don't use themes -__ff = open("/boot/grub/installed-version","r") -__line = __ff.readlines()[0].strip() -__ff.close() -__grubVersion = __line.split("-")[0] -USE_GRUB = True -if __grubVersion[:3] == "0.9": +try: + __ff = open("/boot/grub/installed-version","r") + __line = __ff.readlines()[0].strip() + __ff.close() + __grubVersion = __line.split("-")[0] + USE_GRUB = True + if __grubVersion[:3] == "0.9": + USE_GRUB = False +except Exception as ee: USE_GRUB = False - + print >> sys.stderr, ee # Cache directory for current user, MY_CACHE_HOME is usually ~/.cache/epidermis if os.environ.has_key('XDG_CACHE_HOME'):