]> https://gitweb.dealii.org/ - candi.git/commit
fix enable.sh for zsh 247/head
authorTimo Heister <timo.heister@gmail.com>
Sat, 24 Jul 2021 21:48:37 +0000 (17:48 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 24 Jul 2021 21:48:37 +0000 (17:48 -0400)
commit63d04ae23980bd5f17aad63116a3f18040c67858
tree4ff7506e0016589121cd9c1f5871be5e6628800a
parentaf9fff2d175f151d4dadcd4d9f39f9507c00a0fc
fix enable.sh for zsh

default on OSX is zsh instead of bash and our enable.sh uses a bash
internal. This should work for bash and zsh.
candi.sh

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.