Newsgroup: it.comp.os.linux.iniziare
Titolo: Salvare i comandi Bash in log

 
 
Salve a tutti
 
Sto cercando di salvare tutti i comandi  dati da linea di comando bash in
un file.log.
 
Ho provato con la parentesi tonda:
 
(grep -v -e  xyz -e qualchecosa -e altrecose  $F1 > $F2)  >> Log.txt
 
ancora:
grep -v -e xyz -e qualchecosa  -e v1v2v3  $F1 > $F2   | mv $F2 $F1 | wc -l
$F1 >> Log.txt
 
(grep -v -e INT0 -e INT1 -e INT2 -e INT3 -e INT4 -e INT6 $F1 > $F2| mv $F2
$F1  ) >> LogCo31-2019.all
 
Non viene salvato  il comando dato da linea di comando, ma solo il lavoro
fatto da grep.
 
Devo dire inoltre che sono in una shell bash MSYS su Windows installata con
il MinGW.
 
 
Grazie a tutti
 
Ciao
 
 
 
 
 
 
 
 
 
 

 un file.log.
 
Non capisco se capisco bene cosa vuoi dire e cerchi nel seguito, pero'
forse non sai che bash ha l'history: e' il file .bash_history nella
home. Lo vedi anche cosi' (il man non esiste, o meglio e' "man bash",
perche' e' un comando builtin)
$: help history
oppure dando direttamente
$: history
oppure ancora dando
$: cd; less .bash_history
 
Io ho le history di tutti gli utenti (root compreso) salvata da piu'
d'una decina d'anni, perche' ho aggiunto a /etc/profile queste quattro
righe:
export HISTSIZE=10000000
export HISTFILESIZE=10000000
export HISTCONTROL=erasedups
shopt -s histappend
 
altrimenti di default le taglia a 500 ciao
 
-- 
Yoda
 

 
Ti ringrazio per la risposta
 
Ho visto che e presente come dici la history della bash, Ok.
Ma non e possibile salvare dei comandi in un file mentre da
linea di comando vengono  impartiti?
In questo modo quei comandi sono solo quei comandi, fuori
dalla storia completa della bash.
Posso cosi scegliere anche il nome del file che oggi può essere
Mart22Ott2019  e domani Merc23Ott2019.
 
Ciao
 
 
 
 
 
 
 
 

 in un file.log.
 
asciinema.
https://asciinema.org/
 

 Mart22Ott2019  e domani Merc23Ott2019.
 
Ci sarebbe il comando 'script', ad es.:
$ script Mart22Ott2019
ma registrerà anche tutto l'output dei comandi che impartirai fino a
quando non lo terminerai con 'exit'.
 
 

Addi' 22 ott 2019 10:32:15, 
ne...@tin.it
 scrive:

Per salvare tutti e solo i comandi da Qando_vuoi_inizio a
Qando_vuoi_fine (magari puo' essere tutto il giorno) ti basta dare
successivamente:
 
$: history -a  # completa .bash_history coi comandi ancora in memoria
$: HISTFILE='/home/tuo_nick/log_01'
 
e da quel momento tutti i comandi saranno (futuro!) scritti in log_01,
lo saranno al logout, oppure puoi comandarlo quando ti pare dando:
$: history -a
e cosi' verifichi che:
- viene creato il file log_01
- esso contiene tutto quello che hai battuto come comando dal momento
che hai dato HISTFILE='blablabla' ciao
 
-- 
Yoda
 

Addi' 22 ott 2019 12:06:46, Yoda scrive:

Dimenticavo: per terminare la scrittura nel file log_01 devi dare:
$: history -a
$: HISTFILE='/home/tuo_nick/.bash_history'
e cosi' riprende a scrivere nel .bash_history di default ciao
 
-- 
bye, Yoda
 

 ha scritto nel messaggio 
news:qomof6$j08$1...@dont-email.me...

Va bene grazie a tutti, ciao.
 
 

 (grep -v -e  xyz -e qualchecosa -e altrecose  $F1 > $F2)  >> Log.txt
]zac[
 
echo "grep -v -e  xyz -e qualchecosa -e altrecose  $F1 > $F2" >> Log.txt


spero volesse essere una battuta.