mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-17 23:12:45 +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"
|