document updated 14 years ago, on Jan 4, 2010

Those who cannot remember the past are condemned to repeat it.

Shell history features save a LOT of typing.