[PATCH] defenv2: comment setting default values in /env/config

Fabio Porcedda fabio.porcedda at gmail.com
Fri Feb 22 04:12:01 EST 2013


There is no need to set againg deafult values in /env/config
because they are already setted in /env/bin/init,
that allow /env/config-board to change those default values
without being overwritten by /env/config.

Signed-off-by: Fabio Porcedda <fabio.porcedda at gmail.com>
---
 defaultenv-2/base/config | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/defaultenv-2/base/config b/defaultenv-2/base/config
index 189e5a6..dec0595 100644
--- a/defaultenv-2/base/config
+++ b/defaultenv-2/base/config
@@ -6,16 +6,16 @@
 #global.hostname=
 
 # set to false if you do not want to have colors
-global.allow_color=true
+#global.allow_color=true
 
 # user (used for network filenames)
-global.user=none
+#global.user=none
 
 # timeout in seconds before the default boot entry is started
-global.autoboot_timeout=3
+#global.autoboot_timeout=3
 
 # default boot entry (one of /env/boot/*)
-global.boot.default=net
+#global.boot.default=net
 
 # base bootargs
 #global.linux.bootargs.base="console=ttyS0,115200"
-- 
1.8.1.1




More information about the barebox mailing list