adb push
semble pousser tout dans le dossier dest sans tenir compte de leur état modifié ou non. Cela fait donc perdre beaucoup de temps. Est-il possible de synchroniser plutôt que de copier (c'est à dire de rsync
plutôt que cp
) ?
Je vois. adb
a un sync
mais je ne suis pas sûr qu'elle soit pertinente ou non.