where to install OpenCilk

[behoppe]

I recently upgraded to Ubuntu 22.04, which meant I could reinstall OpenCilk! Everything worked OK except for one glitch. As I adapted the installation instructions to my own case, I entered the command
$ sh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=~/opencilk --exclude-subdir
and got this error
opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh: 171: cd: can't cd to ~/opencilk
which confused me because I could $ cd ~/opencilk without any problem. I fixed the problem by dropping the ~:
$ sh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=/home/bruce/opencilk --exclude-subdir

My takeaway from the above experience was to rediscover #147 (updated install example) where, two years ago, @neboat @ailiop @DorothyCurtis had a detailed discussion about where to install OpenCilk. I'm not sure if I would change our current example, but I wonder if we can do more to share any of the wisdom in #147. Perhaps there's a good reference we can mention?

[behoppe]

@neboat @DorothyCurtis I tried another install with bash
$ bassh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=~/opencilk_2 --exclude-subdir
and got essentially the same error as I got with sh:
opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh: 171: cd: ~/opencilk_2: No such file or directory