Merge pull request #5065 from jepler/remote-settings-txt

Remove settings.py/txt as alternatives for boot.py
This commit is contained in:
microDev 2021-07-27 00:39:26 +05:30 committed by GitHub
commit a5d700392e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 3 deletions

View File

@ -140,8 +140,7 @@ Behavior
- Autoreload is disabled while the REPL is active.
- Main is one of these: ``code.txt``, ``code.py``, ``main.py``,
``main.txt``
- Boot is one of these: ``settings.txt``, ``settings.py``, ``boot.py``,
``boot.txt``
- Boot is one of these: ``boot.py``, ``boot.txt``
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
&& 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;
if (ok_to_run) {