Grazie per le risposte, tempestive, esaurienti e calibrate sulle mie
possibilità di principiante.
Farò qualche prova poi farò sapere, nel caso qualcun'altro fosse
interessato.
Ho notato che i vostri interventi sono molto veloci: io avrò bisogno di
molto più tempo, ma spero di arrivarci in fondo!
Ciao!
Paolo
Il 18/05/2018 16:35, Marco Ciampa ha scritto:
On Fri, May 18, 2018 at 03:37:31PM +0200, azazel wrote:
Grande! Stavo appunto cercando nella memoria ma non mi ricordavo più ilMarco> make"Marco" == Marco Ciampa <ciampix@xxxxxxxxxx> writes:
Marco> sudo make install
Come sempre in caso di installazione da sorgenti non pacchettizzati e
specialmente quando è un non esperto ad eseguire procedure simili (in
ambienti debian based)io
consiglio di utilizzare checkinstall per gestire l'installazione. Questo
comando crea al volo un pacchetto debian per i files che verranno
installati consentendo poi la rimozione con gli strumenti conosciuti
(apt e dpkg). Quindi:
Marco> sudo make install
diventa:
sudo apt-get install checkinstall
sudo checkinstall
vedi https://help.ubuntu.com/community/CheckInstall
comando... grazie!!!