merten Thanks for the feedback! 🙂 The version of PHP for everything that you do in the shell is indeed 7.3 because that is what ships with the current operating system by default. If you want to set PHP 8.3 as the default for your shell user, you can add the following line to the end of your ~/.bashrc
file:
source scl_source enable php83
Then log out and log back in (or run source ~/.bashrc
in your current SSH session).
Note: If you want, you can switch to a different version by replacing php83
in the example above with php74
, php80
, php81
, or php82
.