Auto indent using shfmt

[ghost]

This is the auto indention output using shfmt via the VSC extension shell-format. Just to show you a possible auto indention tool...

[koecher]

Can you prepare a bash script, e.g. indent.sh instead of requesting the result?

[ghost]

@tjhei @koecher this introduces now a CI job very similar to the dealii/dealii indent job. It checks all shell files with the shfmt formatter. Options are -ln bash -i 2 -bn -ci -sr. An initial indentation of all files is necessary to make the Job happy.

Some questions/remarks:

• How do we proceed with the headers. Originally this is dealii code, but adapted to candi.
• In the git log history there are some commits with user names, which do not fit into the scheme. For simplicity just start the rules from 2022-01-01.
• Do we want to have the indent job necessary (Required) for new PRs, as in dealii?

[koecher]

@gfcas Thanks!

as the code is from deal.II, we keep the original header and maybe include a second one for our changes - similar to candi.sh

I'm fine with the date from 2022 on.

We should require to use it for a PR. Otherwise we need to do this on our own and nobody has the time for this.

[koecher]

@tjhei Thanks for taking that over and your review.