search

phyver / GameShell

a game to learn (or teach) how to use standard commands in a Unix shell
GNU General Public License v3.0
2.17k stars 138 forks source link

Allowing zsh instead of bash #52

Closed phyver closed 3 years ago

phyver commented 3 years ago

@rlepigre I've tried making everything work for zsh as well as for bash. (I think zsh is now the default shell on macOS.)

There were a couple of very strange bugs related to zsh, but it now works on my machine. There are some bugs on the macos-latest github platform though. (I had to change the way commands are added in the history for auto.sh and test.sh scripts, and it apparently doesn't work on macos-latest.

GameShell looks at $SHELL to decide which shell to use, and defaults to bash if $SHELL is something else. You can also force bash with -B and zsh with -Z.

Give it a try whenever you have time...

rlepigre commented 3 years ago

I gave it a quick try, and it seems that the check for mission 3 is broken for me. However, I don't have much time to investigate this week or next week, since I'm working on a paper for POPL.

phyver commented 3 years ago

merged into devel