Volete compilare da sorgenti ma non sapete come rimuovere un software in caso di necessità? Ci soccorre il comando checkinstall. Cosa fa? Tiene traccia dei file installati da make install, crea pacchetti deb o rpm e li aggiunge al database, così che per rimuoverli è possibile usare il package manager della nostra distro. Come si installa? Con sudo apt-get install checkinstall. Consiglio anche di usare auto-apt che controlla le dipendenze. Esso si installa con sudo apt-get install auto-apt.
Adesso, qual’è la procedura di compilazione? Questa:

1. auto-apt run ./configure (anzichè solo ./configure);
2. make;
3. sudo checkinstall (anzichè make install).

Segnala presso:

L’avvento delle interfacce grafiche (gnome, kde…) ha sicuramente ridotto l’uso della shell, l’interfaccia per eccellenza ancorchè a riga di comando. Tuttavia, a mio parere, niente è paragonabile alla bash per potenza e flessibilità, per cui quando si cercano queste caratteristiche ricorrervi è naturale. Se, per esempio, dobbiamo cercare dei file possiamo avvalerci degli strumenti integrati in gnome o kde (tracker, strigi…) oppure usare Il comando locate, il quale è appunto preposto alla ricerca di un file generico sul filesystem. Il vantaggio di questo comando rispetto ad altri più o meno deputati agli stessi compiti è la velocità, esso infatti effettua la sua ricerca su un piccolo database e non scansionando integralmente il disco; è chiaro però che troverà solo i file presenti nel database, e, anche se quest’ ultimo in genere viene aggiornato (da cron) una volta al giorno (col comando updatedb) questo può essere un limite. Comunque ecco la sintassi

:

1. updatedb (senza argomenti leggerà da \ per tutta la struttura del filesystem e farà l’ update del database che in una distro debian, ad esempio, è in /var/cache/locate/locatedb);
2. locate locate -m (in questo caso cercherà tutti file del manuale con locate nel nome *).

Le opzioni sono -b, -m, -s e servono per restringere le ricerche a binari, pagine di manuale o sorgenti.
(more…)

Segnala presso:

Gedit è il text editor di default di Gnome e, oltre alle sue ben note caratteristiche di leggerezza ed usabilità tipiche dello gnomo, presenta un sistema di plugin altamente personalizzabile, simile a quello di firefox, che ne aumenta in misura assai rilevante le potenzialità. Alcuni di questi plugin sono installati di default, altri possono essere implementati son un semplice sudo apt-get install gedit-plugins. Ora basta fare Applicazioni–>Accessori–>Editor di testo, andare su Modifica–>Preferenze e selezionare la scheda plugin:

[Show as slideshow]

Altri se ne possono trovare a questoindirizzo.

Segnala presso:

Segnalo a tutti i lettori di tuxmind un piccolo script per automatizzare il processo di installazione dei font su gnome. Questo il link da cui è possibile scaricarlo e queste sono le semplici procedure di installazione:

1. Copiare lo script precedentemente scaricato in /home/vostroutente/.gnome2/nautilus-scripts;
2. consentirne l’esecuzione come programma (tasto dx–>Permessi–Consentire l’esecuzione del file come programma);
3. ora per installare i font basta cliccare col tasto dx sul file e scegliere script–>installa font.

Buon divertimento!

Segnala presso:

La linea di comando e il desktop sono entrambe interfacce sofisticate, ma sono soprattutto due realtà separate. Si può fare “drag and drop” dal desktop in un terminale virtuale oppure usare la funzione “copia e incolla”, ma, di default, spostare file o cartelle tra loro è impossibile. Ecco che interviene Dragbox il quale è stato progettato per risolvere questo problema e connettere le due intefacce (requisito imprescindibile è Gnome) attraverso una combinazione di clipboard (appunti) multipli e di un semplice file manager.

L’applicazione è scritta in python e la sua installazione non presenta alcuna difficoltà risolvendosi positivamente in un semplice download dell’archivio, nell’estrazione dei file e nel classico ./configure - make -make install da terminale.

(more…)

Segnala presso: