3 581
contributi
Guida ai comandi da terminale - Operazioni con programmi non presenti nei repository: differenze tra le versioni
Guida ai comandi da terminale - Operazioni con programmi non presenti nei repository (visualizza wikitesto)
Versione delle 16:50, 19 ott 2019
, 19 ott 2019apt in luogo di apt-get, messo unrar-free come default (con menzione di quello proprietario per archivi RAR 3)
(gdebi) |
(apt in luogo di apt-get, messo unrar-free come default (con menzione di quello proprietario per archivi RAR 3)) |
||
| Riga 24: | Riga 24: | ||
Un metodo alternativo consiste nel compilare il programma creando un pacchetto <code>.deb</code> da installare successivamente. Il primo passo è di installare il programma: | Un metodo alternativo consiste nel compilare il programma creando un pacchetto <code>.deb</code> da installare successivamente. Il primo passo è di installare il programma: | ||
<pre> | <pre> | ||
# apt | # apt install checkinstall | ||
</pre> | </pre> | ||
Ora seguite i normali passi per la compilazione dei sorgenti, variando solo l'ultimo comando: | Ora seguite i normali passi per la compilazione dei sorgenti, variando solo l'ultimo comando: | ||
| Riga 36: | Riga 36: | ||
A volte <code>checkinstall</code> può dare problemi, non rispettando le politiche Debian di gestione e creazione dei pacchetti. E' possibile per fortuna sostituire <code>checkinstall</code> con un modo più professionale. Dovete innanzitutto scaricare dei tool di sviluppo: | A volte <code>checkinstall</code> può dare problemi, non rispettando le politiche Debian di gestione e creazione dei pacchetti. E' possibile per fortuna sostituire <code>checkinstall</code> con un modo più professionale. Dovete innanzitutto scaricare dei tool di sviluppo: | ||
<pre> | <pre> | ||
# apt | # apt install devscripts dh-make make build-essential | ||
</pre> | </pre> | ||
Adesso posizionatevi dentro la cartella estratta dei sorgenti e lanciate: | Adesso posizionatevi dentro la cartella estratta dei sorgenti e lanciate: | ||
| Riga 74: | Riga 74: | ||
Se abbiamo scaricato un installer con estensione .rpm (RedHat Package Manager, sistema di gestione dei pacchetti originario di Red Hat Linux), per installarlo dalla nostra distro dovremo per forza convertirlo in .deb . Il programma che ci consente di farlo è <code>alien</code>. Quindi installiamolo digitando: | Se abbiamo scaricato un installer con estensione .rpm (RedHat Package Manager, sistema di gestione dei pacchetti originario di Red Hat Linux), per installarlo dalla nostra distro dovremo per forza convertirlo in .deb . Il programma che ci consente di farlo è <code>alien</code>. Quindi installiamolo digitando: | ||
<pre> | <pre> | ||
# apt | # apt install alien | ||
</pre> | </pre> | ||
Successivamente, dopo esserci diretti da terminale nella cartella in cui è presente il file .rpm scaricato, lanciamo: | Successivamente, dopo esserci diretti da terminale nella cartella in cui è presente il file .rpm scaricato, lanciamo: | ||
| Riga 174: | Riga 174: | ||
Se siamo in possesso di un archivio .7z , per decomprimerlo avremo bisogno dello strumento <code>p7zip-full</code>. Se non lo abbiamo, digitiamo da terminale: | Se siamo in possesso di un archivio .7z , per decomprimerlo avremo bisogno dello strumento <code>p7zip-full</code>. Se non lo abbiamo, digitiamo da terminale: | ||
<pre> | <pre> | ||
# apt | # apt install p7zip-full | ||
</pre> | </pre> | ||
Per decomprimere il file .7z digitiamo ora semplicemente: | Per decomprimere il file .7z digitiamo ora semplicemente: | ||
| Riga 185: | Riga 185: | ||
== Scompattare un file .rar == | == Scompattare un file .rar == | ||
Se siamo in possesso di un archivio .rar , per decomprimerlo avremo bisogno dello strumento <code>unrar</code> | Se siamo in possesso di un archivio .rar , per decomprimerlo avremo bisogno dello strumento <code>unrar</code>. Se non lo abbiamo, digitiamo da terminale: | ||
<pre> | <pre> | ||
# apt | # apt install unrar-free | ||
</pre> | </pre> | ||
Si noti che soltanto <code>tar</code> è tuttofare e supporta formati liberi, e consente sia l’archiviazione che la decompressione dei file su cui è in grado di lavorare, conservando permessi, utente, gruppo e altre informazioni del file system. <code>unrar</code> invece è in grado soltanto di decomprimere, e se volessimo creare un archivio .rar avremmo bisogno di un altro pacchetto, chiamato <code>rar</code>, in formato non libero. | Si noti che soltanto <code>tar</code> è tuttofare e supporta formati liberi, e consente sia l’archiviazione che la decompressione dei file su cui è in grado di lavorare, conservando permessi, utente, gruppo e altre informazioni del file system. <code>unrar</code> invece è in grado soltanto di decomprimere, e se volessimo creare un archivio .rar avremmo bisogno di un altro pacchetto, chiamato <code>rar</code>, in formato non libero. | ||
{{Box|unrar non libero|Purtroppo il pacchetto '''unrar-free''' non supporta il formato RAR 3.0, e per aprire tali archivi è necessario il pacchetto '''unrar''', che appartiene alla sezione [[non-free]], non è cioè software libero, per quanto il suo sorgente sia disponibile.}} | |||
Per decomprimere il file .rar digitiamo ora semplicemente: | Per decomprimere il file .rar digitiamo ora semplicemente: | ||
<pre> | <pre> | ||
$ unrar x nomearchivio.rar | $ unrar x nomearchivio.rar | ||
</pre> | </pre> | ||
Attenzione ai permessi: se lanciate il comando unrar da sudoer o da root, i permessi dei file decompressi saranno attribuiti a quell’utenza. Non sono conservati come per tar. | Attenzione ai permessi: se lanciate il comando unrar da sudoer o da root, i permessi dei file decompressi saranno attribuiti a quell’utenza. Non sono conservati come per tar. | ||
Se si vuole una compressione maggiore di zip è comunque preferibile ricorrere a 7z, completamente libero e migliore di rar. | Se si vuole una compressione maggiore di zip è comunque preferibile ricorrere a 7z, completamente libero e migliore di rar. | ||
| Riga 203: | Riga 205: | ||
Se siamo in possesso di un file .zip, possiamo decomprimerlo con lo strumento <code>unzip</code>. Se non abbiamo dovremo installarlo con: | Se siamo in possesso di un file .zip, possiamo decomprimerlo con lo strumento <code>unzip</code>. Se non abbiamo dovremo installarlo con: | ||
<pre> | <pre> | ||
# apt | # apt install unzip | ||
</pre> | </pre> | ||
Come tutti gli archivi, <code>unzip</code> è in grado soltanto di decomprimere, e la compressione può avvenire grazie a <code>zip</code> che si installa allo stesso modo. È il formato più diffuso, e quello consigliato per l'interazione con altri sistemi, inoltre è libero e utilizza soltanto software libero contrariamente a rar/unrar.<br> | Come tutti gli archivi, <code>unzip</code> è in grado soltanto di decomprimere, e la compressione può avvenire grazie a <code>zip</code> che si installa allo stesso modo. È il formato più diffuso, e quello consigliato per l'interazione con altri sistemi, inoltre è libero e utilizza soltanto software libero contrariamente a rar/unrar.<br> | ||