# Copyright (c) 2020 HAW Hamburg # # This file is subject to the terms and conditions of the GNU Lesser # General Public License v2.1. See the file LICENSE in the top level # directory for more details. # menuconfig MODULE_SHELL bool "Shell interpreter" select MODULE_STDIN depends on TEST_KCONFIG rsource "commands/Kconfig" menuconfig KCONFIG_USEMODULE_SHELL bool "Configure the Shell interpreter" depends on USEMODULE_SHELL if KCONFIG_USEMODULE_SHELL config SHELL_SHUTDOWN_ON_EXIT bool "Shutdown RIOT on shell exit" default y if CPU_NATIVE help Some systems (e.g Ubuntu 20.04) close stdin on CTRL-D / EOF That means we can't just re-start the shell. Instead terminate RIOT, which is also the behavior a user would expect from a CLI application. config SHELL_NO_ECHO bool "Disable echo" config SHELL_NO_PROMPT bool "Disable prompt" endif # KCONFIG_USEMODULE_SHELL