fn_registry/bash/functions/infra/android_pull.md

name, kind, lang, domain, version, purity, signature, description, tags, uses_functions, uses_types, returns, returns_optional, error_type, imports, params, output, tested, tests, test_file_path, file_path

name	kind	lang	domain	version	purity	signature	description	tags	uses_functions	uses_types	returns	returns_optional	error_type	imports	params	output	tested	tests	test_file_path	file_path
android_pull	function	bash	infra	1.0.0	impure	android_pull [--serial <S>] remote_path local_path	Pull file/dir from Android device to WSL via adb pull.	android adb pull file transfer	adb_wsl_bash_infra			false	error_go_core		name desc --serial <S> Optional target device serial. If omitted, adb_pick_serial auto-detects the connected device. name desc remote_path Source path on the Android device (e.g. /sdcard/Pictures/foo.png). name desc local_path Destination path in the WSL filesystem. Parent directories are created automatically.	Stdout 'pulled: <remote> → <local> from <serial>'.	false			bash/functions/infra/android_pull.sh

Ejemplo

# Pull a single file (auto-detect device)
android_pull /sdcard/Pictures/foo.png ~/Downloads/foo.png

# Pull a directory to a specific local path with explicit serial
android_pull --serial emulator-5554 /sdcard/DCIM ~/Downloads/DCIM

Notas

Sources adb_wsl.sh for adb_pick_serial, ADB_PICK_REST, adb_wsl_to_win, and adb_s. The local path is converted to a Windows path via adb_wsl_to_win before passing to adb pull, which is required because adb.exe (Windows binary) does not understand WSL paths. Exit code 3 when no device serial can be resolved.