The current approach is using the php binary as the one to be used for running bin/magento amongst other things. In some situations, the php default binary might be pointing to say PHP 5.6, while the /usr/bin/php7.2 should be used instead. Perhaps, there could be a check for an environment variable PHP=/usr/bin/php7.2 to bypass this issue.
The current approach is using the
phpbinary as the one to be used for runningbin/magentoamongst other things. In some situations, thephpdefault binary might be pointing to say PHP 5.6, while the/usr/bin/php7.2should be used instead. Perhaps, there could be a check for an environment variablePHP=/usr/bin/php7.2to bypass this issue.