Suppression de sources après leur construction

15

Supposons que nous ayons construit un paquet à partir de sources ( configure make install).
Pouvons-nous supprimer le répertoire des sources après une construction réussie? Ou ça dépend? Sur quoi alors?

déçu
la source

Réponses:

15

Vous n'avez besoin de rien sauf des binaires. Ceux-ci doivent déjà être copiés vers un autre emplacement par make install. Le reste peut être retiré. Si vous n'êtes pas sûr de faire une sauvegarde avant la suppression. Supprimez, testez si cela fonctionne toujours, si vous travaillez toujours, supprimez la sauvegarde.

Remarque: Comme l' a souligné ændrük : L'utilisation de checkinstall Installer checkinstall over make installa le mérite de permettre à Ubuntu de suivre l'installation. Plus tard, vous pouvez annuler toutes les modifications apportées à l'aide de la gestion régulière des packages Ubuntu.

embrouiller
la source
5

Si vous avez installé des fichiers à l'aide de make install, la seule façon de savoir où ils sont allés plus tard si vous souhaitez les désinstaller est d'inspecter les fichiers source. Vous pouvez vouloir archiver une copie de la source à cet effet.

Une meilleure alternative est d'utiliser checkinstallau lieu de make install. Cela permet au gestionnaire de paquets d'Ubuntu de suivre chacun des fichiers installés de la même manière qu'il suit les logiciels à partir des référentiels. Lorsque vous utilisez cette méthode d'installation, vous n'avez pas besoin de conserver de fichiers supplémentaires.

ændrük
la source
+1 pour checkinstall. Intégré à ma réponse acceptée pour que tous ceux qui trébuchent le voient.
con-f-use
2

Généralement, une fois vos fichiers binaires installés, vous pouvez supprimer le répertoire contenant le code source, sauf si vous souhaitez les recompiler, éventuellement avec d'autres options de compilation.

Parfois, vous pourriez trouver particulièrement utile de conserver le répertoire source, par exemple lors de la mise à niveau d'Apache .

Vous pouvez décider quel est votre meilleur, à mon avis, garder le répertoire source est une bonne chose. Évidemment, si vous n'avez pas de problèmes d'espace disque.

Paolo
la source