4 ms·
Perhaps you are thinking of xonsh https://xon.sh/ https://xon.sh/ Edit: x1798DE beat me to it :D
by ihumanable 6y ago
Perhaps you are thinking of xonsh https://xon.sh/ https://xon.sh/
Edit: x1798DE beat me to it :D
- jraph 6y agoXonsh, that's it! Thanks to you and x1798DE, and to geophile for the attempt :-) I could not find the right keywords on two different search engines to find it. This never happens.