I also played with bash for windows last week and got the same
conclusion: it is super easy to get it to work. I was too busy to
write up an FAQ entry, but I agree that this is probably the best
option on windows right now.
> I would guess that one can also just use Eclipse, which is free and wil
Krzysztof,
This is not a huge deal, but I believe it is worth mentioning because there is
a group of users who still want to use deal.ii on Windows.
No, I think this *is* a big deal -- thanks for being persistent and figuring
this out!
Would you mind putting a version of...
Windows 10’s
This is not a huge deal, but I believe it is worth mentioning because
there is a group of users who still want to use deal.ii on Windows.
Windows 10’s Anniversary Update (build 1607) brings Linux Bash Shell
based on Ubuntu. It is really easy to install and may replace (in the
future) more soph
