Pinned

1. tools tools Public

   Tools and Scripts I want to share with the world

   HTML

2. random random Public

   HTML

3. android-sdk-license.sh android-sdk-license.sh

   1

   #!/bin/bash

   2

   3

   << ////

   4

   The script creates 'licenses' under '$ANDROID_HOME' and creates a file which proves 

   5

   that the SDK license was accepted by the user.

4. List of Google certified Android dev... List of Google certified Android devices

   1

   - Help page: https://support.google.com/googleplay/answer/1727131?hl=en

   2

   - Spreadsheet: https://docs.google.com/spreadsheets/d/16gXm7mGsXY_wQjTsRJYQVKkIjR8c3v-MAliAiRs0E3c/pub

   3

   - PDF: https://docs.google.com/spreadsheets/d/16gXm7mGsXY_wQjTsRJYQVKkIjR8c3v-MAliAiRs0E3c/pub?gid=0&single=true&output=pdf

   4

   - CSV: http://storage.googleapis.com/play_public/supported_devices.csv

5. Convert mp4 files to mp3 (extract au... Convert mp4 files to mp3 (extract audio from mp4)

   1

   # Convert mp4 files to mp3 (extract audio from mp4)

   2

   3

   Assuming a simple mp4 with one video stream and one audio stream.

   4

   5

   ```sh

6. Markdown with PlantUML Markdown with PlantUML

   1

   # How to use PlantUML with Markdown

   2

   3

   [PlantUML](http://plantuml.com/) is a really awesome way to create diagrams by writing code instead of drawing and dragging visual elements. Markdown is a really nice documentation tool.

   4

   5

   Here's how I combine the two, to create docs with embedded diagrams.