diff options
author | Denis Vlasenko | 2007-01-22 09:03:07 +0000 |
---|---|---|
committer | Denis Vlasenko | 2007-01-22 09:03:07 +0000 |
commit | 38f6319421c1892ea5c9c0484cec0e190bdc5c69 (patch) | |
tree | 99a63bee4f133df98eb870308c4ca75e8dcbd8c1 /scripts | |
parent | 253ce0029669919fbb7cf60b5c9eab2f791939d8 (diff) | |
download | busybox-38f6319421c1892ea5c9c0484cec0e190bdc5c69.zip busybox-38f6319421c1892ea5c9c0484cec0e190bdc5c69.tar.gz |
cmdedit is not a 'command' editing anymore, it's just editing (generic),
so rename stuff accordingly.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/defconfig | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/defconfig b/scripts/defconfig index 503f12a..2c82a53 100644 --- a/scripts/defconfig +++ b/scripts/defconfig @@ -631,14 +631,14 @@ CONFIG_FEATURE_SH_IS_NONE=y # CONFIG_MSH is not set # CONFIG_FEATURE_SH_EXTRA_QUIET is not set # CONFIG_FEATURE_SH_STANDALONE_SHELL is not set -# CONFIG_FEATURE_COMMAND_EDITING is not set +CONFIG_FEATURE_EDITING=y # CONFIG_FEATURE_EDITING_FANCY_KEYS is not set -# CONFIG_FEATURE_COMMAND_EDITING_VI is not set -CONFIG_FEATURE_COMMAND_HISTORY= -# CONFIG_FEATURE_COMMAND_SAVEHISTORY is not set -# CONFIG_FEATURE_COMMAND_TAB_COMPLETION is not set -# CONFIG_FEATURE_COMMAND_USERNAME_COMPLETION is not set -# CONFIG_FEATURE_SH_FANCY_PROMPT is not set +# CONFIG_FEATURE_EDITING_VI is not set +CONFIG_FEATURE_EDITING_HISTORY=15 +# CONFIG_FEATURE_EDITING_SAVEHISTORY is not set +# CONFIG_FEATURE_TAB_COMPLETION is not set +# CONFIG_FEATURE_USERNAME_COMPLETION is not set +# CONFIG_FEATURE_EDITING_FANCY_PROMPT is not set # # System Logging Utilities |