From 980601026ced8800957152b2bb2e0648a820f6ef Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Fri, 28 Mar 2025 09:52:51 +0100
Subject: [PATCH] add doc

---
 README.md             | 29 +++++++++++++++++++++++++++++
 kill_all_emulators.sh |  3 +++
 2 files changed, 32 insertions(+)
 create mode 100644 README.md
 create mode 100644 kill_all_emulators.sh

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..568c4d0
--- /dev/null
+++ b/README.md
@@ -0,0 +1,29 @@
+# Android env scripts
+
+Scripts to manage android stuff.
+
+## Setup
+
+First make sure you have the right env variable set. Copy the variable of [android_env](./android_env) in `~/.bashrc` and edit to your liking. The first time, you need to refresh your environment with `source ~/.bashrc`.
+
+## Install 
+
+If you havent already installed Android `sdkmanager` and the basic packages, run [`install_android.sh`](./install_android.sh)
+
+## Create emulator
+
+To create emulators, you can use [`make_emulators.sh`](./make_emulators.sh). Edit the variables in the script to your liking.
+
+## Run emulators (headless)
+
+The first time an emulator boot, it will make a snapshot post boot to accelerate futures boots. For some reason some time the first boot hang in an headless setup, [`./emulator_first_boot.sh`](./emulator_first_boot.sh) may help with the first boot.
+
+To start the emulators normally, use [`start_emulators.sh`](./start_emulators.sh)
+
+## Stop emulators
+
+To stop all emulators, run [`kill_all_emulators.sh`](./kill_all_emulators.sh)
+
+## Delete emulators
+
+To delete emulators, run [`delate_emulators.sh`](./delate_emulators.sh)
diff --git a/kill_all_emulators.sh b/kill_all_emulators.sh
new file mode 100644
index 0000000..1fede47
--- /dev/null
+++ b/kill_all_emulators.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/bash
+
+for e in $(adb devices | grep emulator | sed 's/\t.*//'); do adb -s $e emu kill; done