Deec.it » bashrc http://www.deec.it Le Guide Pratiche Dell'Informatica Sat, 24 Jul 2010 09:40:16 +0000 http://wordpress.org/?v=2.8.4 en hourly 1 Creare file .bashrc quando non esiste http://www.deec.it/2009/08/25/creare-file-bashrc-quando-non-esiste/ http://www.deec.it/2009/08/25/creare-file-bashrc-quando-non-esiste/#comments Tue, 25 Aug 2009 18:09:13 +0000 loade http://www.deec.it/?p=112

Se nella home dell’utente non esiste il file .bashrc potete crearlo manualmente, copiando quello di sistema nella home e dopo personalizzarlo:

cp /etc/bash.bashrc  /home/utente/.bashrc

Per farlo caricare alla shell eseguite:

source .bashrc

]]> http://www.deec.it/2009/08/25/creare-file-bashrc-quando-non-esiste/feed/ 0 Data e ora di esecuzione dei comandi nel file history della bourne shell http://www.deec.it/2009/08/18/data-e-ora-di-esecuzione-dei-comandi-nel-file-history-della-bourne-shell/ http://www.deec.it/2009/08/18/data-e-ora-di-esecuzione-dei-comandi-nel-file-history-della-bourne-shell/#comments Tue, 18 Aug 2009 15:50:47 +0000 Luca http://www.deec.it/?p=32 Vi e’ mai capitato di voler sapere quando sia stato eseguito un determinato comando?
Aggiungete nel file .bashrc presente nella vostra home (oppure in /etc/bash.bashrc se volete applicare la modifica a tutti gli utenti del sistema) questa direttiva:

export HISTTIMEFORMAT=’%F %H:%M # ‘

Bastera’ ricollegarvi o lanciare una nuova istanza della shell per applicare le nuove impostazioni.

]]> http://www.deec.it/2009/08/18/data-e-ora-di-esecuzione-dei-comandi-nel-file-history-della-bourne-shell/feed/ 0