Closed oliverklee closed 2 weeks ago
So far, we had a mixture of bash and shell. Let's unify this.
bash
shell
coverage: 97.062%. remained the same when pulling a7183d46604d31aabc052de32783b086416a0044 on task/bash-code-highlight into f0094d56c02c5878bdce0d20ed95f56225f44318 on main.
So far, we had a mixture of
bash
andshell
. Let's unify this.