This is related to "Uninstall old Android SDK versions", except I'd want to do it on a headless Linux CI server (short on disk space).
Does the android command line tool provide options for removing older parts of the SDK? With a quick look, the only things it can delete are AVDs. Did I overlook something?
Alternatively, I guess I could just manually delete stuff from under SDK_HOME. But what things are safe to delete? Other candidates than these?
- I only need to support API level 14 and up, so I suppose I can delete
stuff under platforms/likeandroid-3andandroid-4.
- docs(800MB),- samples(300MB)
- How about system-images? Do I need e.g.android-18/armeabi-v7a/andandroid-18/x86/if I only want to do automated APK builds (no emulator stuff) using Gradle (and Ant)?
At least upon deleting docs completely, the next time I ran android update sdk --no-ui, it started fetching them again:
   Downloading Documentation for Android SDK, API 19, revision 1
Can I avoid update adding back parts of the SDK that I threw away?
Disclaimer: yes, disk is cheap and really I should just add more. But right now on this particular server (8.5G disk) I don't have that option, yet I'd still like to get it to run Android 19 builds...
 
     
     
     
    