author | Amit Sethi |
Fri, 12 Nov 2010 02:29:04 +0530 | |
changeset 488 | 85f049b5ec08 |
parent 301 | af48ecb4dc11 |
permissions | -rw-r--r-- |
accessing history:\\ {\ex \lstinline| \%hist|} accessing particular line of history:\\ {\ex \lstinline| \%hist line_number|} accessing particular range of history:\\ {\ex \lstinline| \%hist start_line stop_line|} saving history to a file:\\ {\ex \lstinline| \%save file_path line_numbers|} running a script:\\ {\ex \lstinline| \%run -i file_path|}