4 ms·
Would be interesting to spin this into a normal bash terminal where you can edit text in the “cell” like in GUI editor and then execute the cell at the end
by barefeg 5y ago
Would be interesting to spin this into a normal bash terminal where you can edit text in the “cell” like in GUI editor and then execute the cell at the end