Idiomatic wrapper for terminal handling
$ luarocks install --server=https://luarocks.org/dev dotty
root