Remove settings.py/txt as alternatives for boot.py

Closes: #5064
This commit is contained in:
Jeff Epler 2021-07-26 13:04:27 -05:00
parent b9fa06cf6b
commit 4e786494dd
2 changed files with 2 additions and 3 deletions

View File

@ -140,8 +140,7 @@ Behavior
- Autoreload is disabled while the REPL is active. - Autoreload is disabled while the REPL is active.
- Main is one of these: ``code.txt``, ``code.py``, ``main.py``, - Main is one of these: ``code.txt``, ``code.py``, ``main.py``,
``main.txt`` ``main.txt``
- Boot is one of these: ``settings.txt``, ``settings.py``, ``boot.py``, - Boot is one of these: ``boot.py``, ``boot.txt``
``boot.txt``
API API
~~~ ~~~

2
main.c
View File

@ -631,7 +631,7 @@ STATIC void __attribute__ ((noinline)) run_boot_py(safe_mode_t safe_mode) {
&& safe_mode == NO_SAFE_MODE && safe_mode == NO_SAFE_MODE
&& MP_STATE_VM(vfs_mount_table) != NULL; && MP_STATE_VM(vfs_mount_table) != NULL;
static const char * const boot_py_filenames[] = STRING_LIST("settings.txt", "settings.py", "boot.py", "boot.txt"); static const char * const boot_py_filenames[] = STRING_LIST("boot.py", "boot.txt");
bool skip_boot_output = false; bool skip_boot_output = false;
if (ok_to_run) { if (ok_to_run) {