author | anand |
Thu, 11 Nov 2010 00:03:57 +0530 | |
changeset 472 | fcdec2d28c9a |
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|}