configure shell game

[Darren Tucker]

On Tue, 2 Jun 2026 at 23:35, Predrag Zečević
<predrag.zecevic.1961 at googlemail.com> wrote:
> Well, linux is OS which changed /bin/sh to be /bin/bash

That isn't even true for all Linux variants.  On at least Debian and
derivatives including Ubuntu, it's usually dash not bash:

$ uname -a
Linux ajax 6.8.0-117-generic #117-Ubuntu SMP PREEMPT_DYNAMIC Tue May
5 19:26:24 UTC 2026 x86_64 x86_64 x86_64 GNU/Linux
$ ls -l /bin/sh
lrwxrwxrwx 1 root root 4 Mar 31  2024 /bin/sh -> dash

> (so, changing /bin/sh to /usr/bin/env bash should/moight work everywhere)

There is no guarantee that bash is even installed on every system
OpenSSH works on, so that's definitely out.

-- 
Darren Tucker (dtucker at dtucker.net)
GPG key 11EAA6FA / A86E 3E07 5B19 5880 E860  37F4 9357 ECEF 11EA A6FA
    Good judgement comes with experience. Unfortunately, the experience
usually comes from bad judgement.