apt è il sistema per la gestione dei pacchetti (installazione, rimozione, aggiornamento) delle distro su base Debian. Questa non vuole essere una guida esaustiva, come può essere http://www.debian.org/doc/manuals/apt-howto/ch-search.it.html ma una serie di comandi utili: * per aggiornare il db di apt si usa
|
1 |
apt-get update |
* per aggiornare il sistema si usa
|
1 |
apt-get upgrade |
* per installare … Leggi tutto
Oggi voglio pubblicare una cosa che differisce dagli argomenti degli altri post, ma dato che l’html è comunque legato in qualche modo al mio mondo, volevo scrivere due righe su come bypassare un annoso problema di compatibilità di visualizzazione tra i browser. Immaginiamo di aver definito uno stile CSS come segue:
|
1 2 3 4 5 |
#search_box { float: right; clear: right; width: 200px; } |
Ci accorgiamo però … Leggi tutto
Se utilizzate un database MySQL e volete effettuare un tuning delle impostazione, consiglio di dare un’occhiata agli script tuning-primer e mysqltuner. Il primo è uno script in bash, mentre il secondo è scritto in perl. Su debian non sono richieste altre librerie per poter funzionare, ma nel caso sulla vostra distro preferita sarà necessario installare … Leggi tutto
Qualche volta può accadere che utilizzando wget sia necessario “passare” attraverso un proxy. La soluzione più veloce è creare un file di configurazione per wget, con le istruzioni per l’uso del proxy. Aprire il file .wgetrc nella propria home directory:
|
1 |
vi ~/.wgetrc |
e poi aggiungere le seguenti righe:
|
1 2 3 |
http_proxy=192.168.0.1 proxy-user=foo # inserire l'username del server proxy proxy-passwd=bar # inserire la password del server proxy |
A questo punto salvare ed usare wget … Leggi tutto
Per installare java 1.6 su Debian Etch va effettuata una procedura davvero semplice. Innanzitutto va inserito il repository di backport nel file /etc/apt/sources.list. Utilizzando l’editor che preferite, aggiungere la riga:
|
1 |
deb http://www.backports.org/debian etch-backports main contrib non-free |
A questo punto basta aggiornare apt e poi installare il pacchetto:
|
1 |
apt-get update |
|
1 |
apt-get install sun-java6-jdk |
Ora, per far utilizzare al sistema la nuova versione di java, … Leggi tutto
Sicuramente vi sarà capitato di dover installare del software da compilare, perché magari non è disponibile il .deb, oppure perché il .deb è relativo ad una versione obsoleta. Durante la compilazione, è possibile che vengano richiesti altri pacchetti per soddisfare delle dipendenze. L’installazione delle dipendenze può essere fatta manualmente, ma esiste un tools che consente … Leggi tutto
Se viene visualizzato questo errore provando a riavviare qualche servizio (es apache, bind), il motivo è che vi trovate in una directory cancellata da un’altra console. Basta spostarsi in un’altra directory e l’errore sparisce 🙂
L’installazione delle Guest Additions su Linux non è complessa, ma siccome lo script messo a disposizione da VirtualBox deve ricompilare dei moduli, è necessaria la presenza di alcuni pacchetti sulla nostra Linux Box. Su debian i pacchetti necessari sono:
|
1 |
apt-get install build-essential linux-source linux-headers-`uname -r` |
E’ possibile che apt richieda di specificare quale pacchetto linux-source installare tra quelli disponibili; vengono … Leggi tutto
Sicuramente sarà capitato di dover condividere dei files tra il sistema host e guest (Linux) di Virtualbox. Il sistema più veloce è usare le “cartelle condivise”. Per abilitare questa funzione, bisogna fare una cosa nell’host ed un’altra nel guest Nell’host basta accedere alla configurazione della macchina guest in VirtualBox e definire una nuova cartella condivisa, … Leggi tutto
Mantenere sincronizzato l’orologio di sistema con il resto del mondo è una cosa importante, soprattutto se è necessario scambiare dati con il resto del mondo. Questa operazione viene generalmente fatta su linux attraverso il servizio ntp. La limitazione di ntp è che lavora su una porta che a volte può essere filtrata dalla rete aziendale … Leggi tutto