Re: shell history
Francesco Potortì <[email protected]>
| Newsgroups | gmane.linux.debian.user.italian |
|---|---|
| Organization | CNR-ISTI, via Moruzzi 1, I-56124 Pisa, +39-0503153058 |
| Message-ID | <[email protected]> |
>> scusate ma dove trovate le informazioni sui parametri da passare ad >> history? Con un man history o info history non trovo nulla... > >history e' un comando interno a bash, quindi man bash. O anche, da dentro Bash: `help history`