Risorse





History Shell e Registrazione

Come già noto il comando history permette di avere lo storico dei comandi dati all’interno del terminale. Questo comando risulta molto utile ed addirittura si possono fare delle migliorie, andando ad aggiungere a ~/.bashrc alcune linee. Per specificare il numero di comandi da memorizzare: export HISTFILESIZE="2000" Per inserire data ed ora nello storico: export HISTTIMEFORMAT="%D %H:%M " Per aggiornare le modifiche fatte.......

Scritto da edmond, il 12-05-2008
LinkConsiglia

Nuovo commento

Commenti


Buydifferent.it

Qui trovi RAM per Eee PC a
partire da 19,90 euro.
Garantita a vita

Inoltre Secure Digital HC  Eee PC per espanderne la capienza fino a 20 GB.
A partire da 14,90 Euro



Sondaggio*

Ti piace la nuova grafica?
Si, è bellissima
18%
Si, abbastanza
40%
Si, è nella norma
13%
E' meglio dell'altra, ma nulla di che
13%
Non proprio
7%
No
2%
No, per nulla
5%
Chi ha fatto sto obrobrio?
4%
Voti totali
* per votare devi effettuare il login






Collabora

ZioBudda.net sta crescendo sempre di più, ma mi serve una mano per portare avanti i progetti e per rendere il sito sempre più bello e pieno di informazioni.






Si ringrazia:

Unbit.it Cybernetic.it website counter