Guida ai comandi da terminale: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
Riga 125: Riga 125:
<pre>
<pre>
chmod +x mio_programma.bin
chmod +x mio_programma.bin
<pre>
</pre>
e successivamente
e successivamente
<pre>
<pre>
./mio_programma.bin
./mio_programma.bin
</pre>
</pre>
==Installazione di un file .rpm==
==Installazione di un file .rpm==
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 è <tt>alien</tt>. 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 è <tt>alien</tt>. Quindi installiamolo digitando:

Menu di navigazione