Convert script/configure-web-proxy from POSIX sh to bash

[asdil12]

No description provided.

[okurz]

Why not keep it POSIX sh? Or was it inconsistent in before?

[Martchus]

Because almost all systems have bash installed (even if it is not the shell used by the user) so it makes no sense to limit ourselves to inferior shell syntax.

[okurz]

Because almost all systems have bash installed (even if it is not the shell used by the user) so it makes no sense to limit ourselves to inferior shell syntax.

Ok, that's a good reason why the change can be done without significant impact but is not a reason why the change would provide a benefit

[asdil12]

Because almost all systems have bash installed (even if it is not the shell used by the user) so it makes no sense to limit ourselves to inferior shell syntax.

Ok, that's a good reason why the change can be done without significant impact but is not a reason why the change would provide a benefit

I guess we should decide: Make all scripts rely on bash features like == or [[ or be posix sh compliant.
I see no value in the current chaotic situation where we try to enforce [[ in one file but hesitate to do the same in other files.

[Martchus]

s/Remvoe/Remove/ in the commit message

[okurz]

Missing codecov feedback

@Mergifyio rebase

[okurz]

I think mergify never rebased but it seems the codecov report nevertheless eventually arrived :D