Very cool! Does anything similar exist for Android ? I would love to use some bash scripts but I don't find the terminal editors I tried practical.