Ubuntu 18.04 に php7.4-dev をインストールできない

Question

php7.4-dev 拡張機能をインストールしようとしましたが、次のエラーが発生しました:

E: パッケージ php7.4-dev が見つかりません
E: glob 'php7.4-dev' 経由でパッケージが見つかりません
E: 正規表現 'php7.4-dev'

でパッケージが見つかりません。

apt show php を実行すると、次のように表示されます。

パッケージ: php
バージョン: 1:7.2 60ubuntu1
優先順位: オプション
カテゴリー: PHP
ソース: php-defaults (60ubuntu1)
ソース: Ubuntu
管理者: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
元のメンテナ: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org>
バグ: https://bugs.launchpad.net/ubuntu/filebug
インストールサイズ：12.3kB
依存関係: php7.2
サポート: 5年
ダウンロードサイズ: 3,084 B
APT ソース: http://archive.ubuntu.com/ubuntu bionic/main amd64 パッケージ
説明: サーバー側の HTML 埋め込みスクリプト言語 (デフォルト)
 PHP (PHP の再帰的略語: Hypertext Preprocessor) は、広く使用されているオープンソースの汎用スクリプト言語で、特に Web 開発に適しており、HTML に埋め込むことができます。
 。
 このパッケージは依存関係パッケージであり、Ubuntu のデフォルトの PHP バージョン (現在 7.2) に依存します。 

次のコマンドを使用してソフトウェア ソースを更新しました。

sudo add-apt-repository ppa:ondrej/php
sudo apt update

apt show php を再度実行すると、以前と同じメッセージが表示されますが、バージョンはまだ変更されておらず、PHP 7.2 と表示されています。

しかし、毎回同じ結果が得られ、残念ながら php7.4-dev をインストールできません。

sudo add-apt-repository ppa:ondrej/php sudo aptアップデート apt 表示 php

Answer 1

私もある程度同じ問題に遭遇しましたが、何らかの理由で ppa:ondrej/php が Ubuntu 18.04 では機能しませんでした。 この記事で述べたように、次のリポジトリを追加した後、php7.4

が正常にインストールされました。 リーリー