mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
22 lines
651 B
Plaintext
22 lines
651 B
Plaintext
# Copyright (c) 2021 Freie Universität
|
|
#
|
|
# 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.
|
|
#
|
|
|
|
config SHELL_SHUTDOWN_ON_EXIT
|
|
bool "Shutdown RIOT on shell exit"
|
|
default y if HAS_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"
|