author | bhanu |
Tue, 16 Nov 2010 23:26:42 +0530 | |
changeset 517 | 71697b10f4ae |
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|}