Archivio

Posts Tagged ‘bashrc’

Creare file .bashrc quando non esiste

25 agosto 2009 Nessun commento

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

Categorie:Shell Tag: , ,

Data e ora di esecuzione dei comandi nel file history della bourne shell

18 agosto 2009 Nessun commento

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.