homestead php拡張子のインストール

homestead自体は多くの拡張子を持っていて、一般的には再インストールする必要はありませんが、swoole、mongodbなどの特殊なインストールが必要です.今日mongodb拡張を例にインストールしましたが、結局踏んだ穴です.
自分のhomesteadの公式サイトでは簡単な方法を提案しています.例えば、Homesteadだけです.yamlにmongodb:trueを加えると、以下のようにHomestead.yaml

    ---
    ip: "192.168.10.10"
    memory: 2048
    cpus: 1
    provider: virtualbox
    
    #    MongoDB
    mongodb: true

そうすれば、エラーを報告してインストールに成功しなかったことに気づきます.他の環境では成功するかどうか分かりませんが、windowsの下にmanjaro(linux)とインストールに失敗しました.
ネット上でいくつかの方法があって、私はすべて試したことがあって、問題を発見して、homesteadがデフォルトでいくつかphpバージョンをインストールしたためで、デフォルトは最新のバージョンで、使うことができます
php -v
デフォルトバージョンを表示します.一般的には最新です.例えば7.4です.1.しかし、7.3のバージョンの拡張子をインストールするにはどうすればいいですか?ネット上のいくつかの方法を採用すると、多くの人が提案しているように、問題が発生しやすくなります.
sudo pecl install mongodb
このインストールも7.4バージョンです.7.3バージョンを例に挙げます.
私はソースコードのコンパイルインストール方式を採用しています.
1.http://pecl.php.net/package/m...から2.インストールパッケージの解凍

tar zxf mongodb-1.7.2.tgz

3.解凍ディレクトリに入り、phpizeを実行してインストール準備を行う(phpize作用)

cd mongodb-1.7.2

4.phpize7.3

//         ，       ，      php  ，      php7.4

5../configure --with-php-config=/usr/bin/php-config7.3//同様に、バージョン番号6を付ける必要があります.sudo make && sudo make install7.コンパイル成功後

 cd /etc/php/7.3/mods-available
sudo cp zip.ini mongodb.ini
sudo vim mongodb.ini
    extension=mongodb.so
##     
sudo ln -s /etc/php/7.3/mods-available/mongodb.ini  /etc/php/7.3/fpm/conf.d/25-mongodb.ini//    ，  cli    。
    25-？
    mongodb.so   json.so。      json.so    mongodb.so。

これはmongodb拡張をインストールするときに遭遇する穴です.これだけ参考にして、間違ったところがあれば、指摘してほしいし、指摘も歓迎します.