SettingsActivity: allow for installing command line tools

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
2017-12-19 02:42:00 +01:00
parent ecc2a1c759
commit 9b92f4d3c5
5 changed files with 97 additions and 12 deletions
@@ -9,4 +9,8 @@
        android:key="restore_on_boot"
        android:summary="@string/restore_on_boot_summary"
        android:title="@string/restore_on_boot" />
+    <Preference
+        android:key="install_cmd_line_tools"
+        android:summary="@string/install_cmd_line_tools_summary"
+        android:title="@string/install_cmd_line_tools" />
 </PreferenceScreen>