6 ms·
as a heads up https://www.oilshell.org/blog/2021/01/why-a-new-shell.html https://www.oilshell.org/blog/2021/01/why-a-new-shell.html links to https://www.oilshel
by ipsento606 1y ago
as a heads up https://www.oilshell.org/blog/2021/01/why-a-new-shell.html https://www.oilshell.org/blog/2021/01/why-a-new-shell.html links to https://www.oilshell.org/release/latest/doc/idioms.html https://www.oilshell.org/release/latest/doc/idioms.html ("Oil Language Idioms") which is a 404
- chubot 1y agoOh thanks, I will fix that - the right link is https://oils.pub/release/latest/doc/idioms.html https://oils.pub/release/latest/doc/idioms.html