Alternatively, if you want to use deal.II in your daily terminal, you could
follow the instructions that come in the deal.II terminal, i.e., add this to
your .zshrc:
export DEAL_II_CONF_SILENT=ON
. /Applications/deal.II.app/Contents/MacOS/dealii.conf
Best,
Luca.
> On 28 Jun 2021, at 21:52,
Hi Bob,
I’ve copied your message to me back onto the mailing list.
Yes, as you observed you need to use the terminal that opens when you run the
deal.II application. I’m glad that you figured this out. When you run the app,
it sets up the local environment (for that specific terminal instance)
