J'aime copier des fichiers de développement (c'est à dire un repo git) de ma machine locale vers mon Android en utilisant adb push (je n'ai toujours pas trouvé d'application client git fiable sur Android).
Cependant, j'ai également besoin d'ignorer certains répertoires (pensez aux répertoires qui sont typiquement ignorés par git et placés dans .gitignore) comme le dossier de construction dans un projet java.
Comment faire une commande adb push qui ignore un certain répertoire mais copie tout le reste ?