@bodil #Idris (1) used to have a bash backend. I don't think it was ever updated for Idirs (2).