CONFIG_DEBNET='yes' # search for /etc/network/interfaces on partitions and set up network afterwards
CONFIG_DEBS='yes' # check for bootoption debs for installing .debs
CONFIG_DEBUG='yes' # activate start of shells during startup at several stages
+CONFIG_DISPLAY_SSH_FINGERPRINTS='yes' # display SSH server key fingerprints
CONFIG_DISTCC='yes' # activate and setup distcc through bootparam distcc=$NETWORK,$INTERFACE
CONFIG_DISTRI='yes' # support some customization via bootoption distri
CONFIG_DMA='yes' # Enable DMA for all IDE drives
CONFIG_TIME='yes' # set clock, check for bootparam utc/gmt [only in live-mode]
CONFIG_TIMEZONE='yes' # get bootparam 'tz' and set it as /etc/localtime [only in live-mode]
CONFIG_TOHD='yes' # bootoption tohd=...
-CONFIG_USERFSTAB='yes' # check for username of uid 1000
CONFIG_VIRTUALBOX_SHARED_FOLDERS='yes' # set up shared folders in VirtualBox environment
CONFIG_VNC='yes' # check for bootparam vnc
CONFIG_WELCOME='yes' # play welcome sound (audio)
CONFIG_AUTOCONFIG_LOCAL='/etc/grml/autoconfig.local'
-[ -e ${CONFIG_AUTOCONFIG_LOCAL} ] && . ${CONFIG_AUTOCONFIG_LOCAL}
+[ -r ${CONFIG_AUTOCONFIG_LOCAL} ] && . ${CONFIG_AUTOCONFIG_LOCAL}
## END OF FILE #################################################################