2018-03-21 06:25:53 +00:00
|
|
|
Make a special remote using adb to send file to an android device.
|
|
|
|
|
|
|
|
|
|
While there is an android port, a special remote will suffice for many use
|
|
|
|
|
cases, and may work better overall.
|
|
|
|
|
|
|
|
|
|
It should support exporttree=yes, since most use cases involve exporting a
|
|
|
|
|
tree of files and consuming them on the android device.
|
|
|
|
|
|
|
|
|
|
Use adb push, adb pull, and use adb shell for checkpresent and remove.
|
|
|
|
|
|
2018-03-27 20:10:28 +00:00
|
|
|
Ought to implement [[import tree]] too, so that changes made
|
2018-03-21 06:25:53 +00:00
|
|
|
to files on the android device can be imported back into the git
|
|
|
|
|
repository.
|
2018-03-21 07:19:47 +00:00
|
|
|
|
|
|
|
|
And, [[export preferred content]] would be a useful feature for
|
|
|
|
|
excluding some files from a tree exported to android.
|
2018-03-21 13:19:06 +00:00
|
|
|
|
2018-03-27 20:10:28 +00:00
|
|
|
> Status: Remote implemented, but not yet [[import tree]] and
|
|
|
|
|
> [[export preferred content]]. --[[Joey]]
|
2019-04-15 16:59:39 +00:00
|
|
|
|
|
|
|
|
> Update: Import from adb is now implemented. Closing [[done]] --[[Joey]]
|
