Pulire la cache dei path della shell

Problema: eseguendo un comando da shell ricevete un misterioso errore.

$ foo
-bash: /usr/local/bin/foo: No such file or directory
$

E voi lo sapete bene che il comando foo non si trova in /usr/local/bin: come
convincere anche il vostro sistema di cio'?

E' sufficiente lanciare il comando:
hash -r
Questo se utilizzate la shell bash. Un metodo piu' generale, valido anche per
le altre shell, e' il comando seguente:
PATH=$PATH 

In entrambi i casi viene ripulita la cache che consente alla shell di velocizzare la ricerca dei comandi piu' usati all'interno del PATH di sistema.

Monitorare un server con SNMP e Cacti

Seguire le istruzioni presenti al seguente indirizzo:

http://www.debuntu.org/how-to-monitor-your-servers-with-snmp-and-cacti


Con alcuni sistemi (tra cui Ubuntu Gutsy) al momento di accedere per la prima volta al sistema cacti (http://localhost/cacti) si riceve una pagina bianca con il seguente errore:

Invalid PHP_SELF Path

Per risolvere questo problema occorre editare il file config.php (in Ubuntu Gutsy e' /usr/share/cacti/site/include/config.php) e modificare la linea seguente (su Gutsy e' la linea 87):

if (!((is_file($_SERVER["SCRIPT_FILENAME"])) && (substr_count($_SERVER["SCRIPT_FILENAME"], $_SERVER["PHP_SELF"])))) {

deve diventare:

if (!((is_file($_SERVER["SCRIPT_FILENAME"])))) {

A parte questo problema la guida di installazione indicata a inizio post e' completa e ben spiegata. Se capita vedro' di postarne la traduzione in Italiano.