Calculer Girl
  1. Calculer Girl
  3. Quelle est la différence entre php5 et php5-dev
Intereting Posts
Quand devrions-nous héberger le service WCF dans IIS et quand devrions-nous héberger dans un service Windows? Aide spécifique à la redirection HTTP – “La requête a dépassé la limite de 10 redirections internes” Qt Creator “trop ​​gros” sur 3840×2160 et 150% sur Windows 10 JSON non compilé en php comment obtenir icmp sur le socket udp sous UNIX Linux Bash: Définition de règles iptables pour autoriser le FTP actif et passif Lot pour supprimer les lignes en double du fichier texte Ce cronjob particulier fonctionnera-t-il? Rediriger l’url et masquer le domaine en utilisant htaccess Fonction Unix write () (libc) Recherche insensible à la casse avec sed Le port personnalisé n’est pas fonctionnel dans Docker-compose Avez-vous ssh -Y vous suivre à travers su Comment utiliser qdel all pour supprimer uniquement les travaux inactifs Application PSGI avec Apache2 en utilisant Plack :: Handler :: Apache2 entraîne «non trouvé»

Quelle est la différence entre php5 et php5-dev

Lorsque j’installe php sur ubuntu, quelqu’un utilise

sudo apt-get install php5

quelqu’un utilise

sudo apt-get install php5-dev

Quelle est la différence entre eux?

php5-dev contient des fichiers pour développer des modules PHP:

Ce paquet fournit les fichiers de la source PHP5 nécessaires à la compilation de modules supplémentaires.

php5 est un meta package qui installe le runtime PHP.

La commande 

apt-cache search php

vous dirait la différence: 

  php5 - server-side, HTML-embedded scripting language (metapackage) php5-dev - Files for PHP5 module development