Skip to content

[Feature Request] Mirror Directories #114

Open
@dmopalmer

Description

@dmopalmer

Editing a file directly on the target device is simple, but it is also error prone. After you save it and unmount the device, you have no further access to the file until you plug the device in again. You can't keep track of it in git, or put the same file on a second device. If your drone controller flies over the horizon, it takes your code with it.

I suggest that it would be a good feature to allow files to be edited on the desktop hard drive, to be automatically copied over to the device whenever changed. That way the files can reside in your local git-maintained directory. Also, code can be written without requiring you to be tethered to the device.

Not all files on the desktop should be copied over. (e.g. the .git directory, the .DS_Store files that MacOS litters everywhere, etc.)

One suggested implementation: A 'manifest' file listing the names of all files that should be mirrored to the device. Possibly with the behavior of saying 'don't include the .git directory, don't include the manifest file, but everything else goes'.

Another possible implementation: Everything in a subdirectory gets mirrored to the device with the same diskname. (By default the device will be named CIRCUITPYTHON, but you can rename it, which is especially useful if you are developing a system of two devices that talk to each other and you want to edit files for both devices at once.)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions