mpremote edit several files #11435
villeneuve
started this conversation in
General
Replies: 1 comment 1 reply
-
That would be nice, although the line
Will not work on windows if there are spaces in EDITOR or the temp file names |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi!
First thing I've to say: big thanks for this v1.20 and for the new WebREPL now available on the Pico W :-)
mpremote edit file1 file2 etc..can edit several files
However the mpremote behavior is to edit file1, save, close the editor, then edit file2 etc..
It can be convenient to have each file in an editor tab (when using an editor in a GUI like geany)
I have slightly modified the edit command in the file command.py (located in /usr/local/lib/python3.7/dist-packages/mpremote/ in my Raspberry Pi OS) to do so.
Here is my modification of the do-edit function (line 164):
It's worth to note that the files are actually written to the board when the editor with all its tabs is closed. This can be tricky as it isn't the same when editing files on the PC itself.
..
Beta Was this translation helpful? Give feedback.
All reactions